aboutsummaryrefslogtreecommitdiff
path: root/coq-doc.opam
AgeCommit message (Expand)Author
2020-03-20Build and install refman with Dune.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 10:07:33 +0000