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: [cvs.NetBSD.org] / pkgsrc / lang / coq
Current tag: pkgsrc-2010Q3
File | Rev. | Age | Author | Last log entry |
---|---|---|---|---|
Parent Directory | ||||
Attic/ [Don't hide] | ||||
patches/ | ||||
DESCR | 1.1.1.1 | 21 years | kristerw | By popular demand, move coq-7.4 from math to lang in order to be consistent with... |
Makefile | 1.26 | 13 years | wiz | Bump dependency on pixman to 0.18.4 because cairo-1.10 needs that version, and b... |
PLIST | 1.10 | 14 years | tonio | Update lang/coq to 8.2pl1 Changes from V8.1 to V8.2 ========================= ... |
distinfo | 1.10 | 14 years | asau | Support staged installation. |