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 | 8 years | kristerw | By popular demand, move coq-7.4 from math to lang in order to be consistent with... |
| MESSAGE |
1.1.1.1 | 8 years | kristerw | By popular demand, move coq-7.4 from math to lang in order to be consistent with... |
| Makefile |
1.38 | 40 hours | wiz | Revbump for a) tiff update to 4.0 (shlib major change) b) glib2 update 2.30.2 (a... |
| PLIST |
1.11 | 14 months | tonio | Update lang/coq to 8.3 Main changes: Includes a new tactic (nsatz, standing for... |
| PLIST.natdynlink |
1.1 | 14 months | tonio | Update lang/coq to 8.3 Main changes: Includes a new tactic (nsatz, standing for... |
| PLIST.opt |
1.7 | 14 months | tonio | Update lang/coq to 8.3 Main changes: Includes a new tactic (nsatz, standing for... |
| distinfo |
1.13 | 10 months | tonio | Update lang/coq to 8.3pl1 Changes from V8.3 to V8.3pl1 o Type inference, notati... |