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
Current tag: OPENBSD_5_4
File | Rev. | Age | Author | Last log entry |
---|---|---|---|---|
Parent Directory | ||||
files/ | ||||
patches/ | ||||
pkg/ | ||||
Makefile | 1.23 | 11 years | sthen | use gettext/libiconv MODULES. |
distinfo | 1.8 | 11 years | chrisz | Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com> OK by Daniel, avsm@, Y... |