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