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 | 5 years | kristerw | By popular demand, move coq-7.4 from math to lang in order to be consistent with... |
| MESSAGE |
1.1.1.1 | 5 years | kristerw | By popular demand, move coq-7.4 from math to lang in order to be consistent with... |
| Makefile |
1.21 | 5 months | tonio | Bunp PKGREVISION, as it requires rebuild with ocaml 3.10.2 and cmalp5 5.08 |
| PLIST |
1.7 | 6 months | jlam | Convert to use PLIST_VARS instead of manually passing "@comment " through PLIST_... |
| PLIST.opt |
1.5 | 5 months | tonio | Bunp PKGREVISION, as it requires rebuild with ocaml 3.10.2 and cmalp5 5.08 |
| distinfo |
1.8 | 9 months | tonio | Update lang/coq to 8.1pl3 hanges from V8.1pl2 to V8.1pl3 ======================... |