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 / devel / why3
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon} Parent Directory |
||||
![[TXT]](/icons/text.gif){kind=icon} DESCR |
1.1 | 5 months | tonio | Adding devel/why3 1.5.1 Import from WIP, thanks jihbed.research@gmail.com Why3... |
| Makefile |
1.5 | 5 months | tonio | Add missing dependency ocamlgraph |
| PLIST |
1.2 | 5 months | tonio | Update devel/why3 to 1.5.1nb1 Make sure to install the library properly This is... |
| distinfo |
1.1 | 5 months | tonio | Adding devel/why3 1.5.1 Import from WIP, thanks jihbed.research@gmail.com Why3... |