summaryrefslogtreecommitdiff
path: root/math/coq/files/patch-Makefile.install (follow)
Commit message (Expand)AuthorAgeFilesLines
* lang/ocaml: Update to 4.14.1Benjamin Jacobs2024-03-111-11/+0
* Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.Hiroki Sato2016-12-311-0/+11