summaryrefslogtreecommitdiff
path: root/lang/coq/patches/patch-Makefile.install
AgeCommit message (Expand)AuthorFilesLines
2022-06-21lang/coq: update to 8.15.2 to make it work with current ocaml.dholland1-0/+15
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-09 00:45:34 +0000