Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [local] / ports / math / coq
File | Rev. | Age | Author | Last log entry |
---|---|---|---|---|
Parent Directory | ||||
files/ | ||||
patches/ | ||||
pkg/ | ||||
Makefile | 1.66 | 6 weeks | volker | Bump OCaml ports following update to 4.14.2 |
distinfo | 1.23 | 2 years | daniel | update coq to 8.13.2 |
sort_PLIST.sed (in the Attic) [Hide] | 1.2 | 5 years | jca | Those files should have been removed in the ocaml-4.07.1+friends update Noticed... |