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 / pvs
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon} Parent Directory |
||||
![[DIR]](/icons/dir.gif){kind=icon} files/ |
||||
| patches/ |
||||
![[TXT]](/icons/text.gif){kind=icon} DESCR |
1.1.1.1 | 9 years | jschauma | Initial import of devel/pvs into pkgsrc: PVS is a verification system: that is,... |
| MESSAGE.linux-i386 |
1.1 | 4 years | jlam | Convert to use the emulator framework and properly support the "solaris-sparc" e... |
| Makefile |
1.43 | 15 months | minskim | pvs needs tex-amsmath, not the entire teTeX. |
| PLIST |
1.10 | 2 years | joerg | Convert @exec/@unexec to @pkgdir or drop it. |
| PLIST.linux-i386 |
1.2 | 2 years | joerg | Remove @dirrm entries from PLISTs |
| PLIST.solaris-sparc |
1.2 | 2 years | joerg | Remove @dirrm entries from PLISTs |
| distinfo |
1.7 | 4 years | jlam | Convert to use the emulator framework and properly support the "solaris-sparc" e... |