aboutsummaryrefslogtreecommitdiff
path: root/META.coq.in
AgeCommit message (Expand)Author
2018-09-25Remove romegaVincent Laporte
2018-09-12Remove quote pluginMaxime Dénès
2018-09-10Bump version number to 8.10+alpha.Guillaume Melquiond
2018-07-18Merge PR #8054: [dev] Autogenerate OCaml dev files.Enrico Tassi
2018-07-12[dev] Autogenerate OCaml dev files.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 07:13:28 +0000