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 |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon} Parent Directory |
||||
![[DIR]](/icons/dir.gif){kind=icon} patches/ |
||||
![[TXT]](/icons/text.gif){kind=icon} DESCR |
1.1.1.1 | 6 years | kristerw | By popular demand, move coq-7.4 from math to lang in order to be consistent with... |
| MESSAGE |
1.1.1.1 | 6 years | kristerw | By popular demand, move coq-7.4 from math to lang in order to be consistent with... |
| Makefile |
1.24 | 8 weeks | asau | Support staged installation. |
| PLIST |
1.10 | 5 months | tonio | Update lang/coq to 8.2pl1 Changes from V8.1 to V8.2 ========================= ... |
| PLIST.opt |
1.6 | 5 months | tonio | Update lang/coq to 8.2pl1 Changes from V8.1 to V8.2 ========================= ... |
| distinfo |
1.10 | 8 weeks | asau | Support staged installation. |