aboutsummaryrefslogtreecommitdiffhomepage
path: root/META.coq.in
Commit message (Expand)AuthorAge
* Merge PR #8054: [dev] Autogenerate OCaml dev files.Gravatar Enrico Tassi2018-07-18
* [dev] Autogenerate OCaml dev files.Gravatar Emilio Jesus Gallego Arias2018-07-12