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
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
| 1.1.1.1 | 6 years | kristerw | By popular demand, move coq-7.4 from math to lang in order to be consistent with... | |
| 1.1.1.1 | 6 years | kristerw | By popular demand, move coq-7.4 from math to lang in order to be consistent with... | |
| 1.24 | 8 weeks | asau | Support staged installation. | |
| 1.10 | 5 months | tonio | Update lang/coq to 8.2pl1 Changes from V8.1 to V8.2 ========================= ... | |
| 1.6 | 5 months | tonio | Update lang/coq to 8.2pl1 Changes from V8.1 to V8.2 ========================= ... | |
| 1.10 | 8 weeks | asau | Support staged installation. |