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 / math / yices2
Current tag: pkgsrc-2021Q2-base
File | Rev. | Age | Author | Last log entry |
---|---|---|---|---|
Parent Directory | ||||
patches/ | ||||
DESCR | 1.1.1.1 | 4 years | alnsn | Initial import of Yices 2, version 2.6.1. Yices 2 is an SMT solver that decides... |
Makefile | 1.4 | 3 years | alnsn | Reset maintainership for all (no longer) mine packages |
PLIST | 1.1.1.1 | 4 years | alnsn | Initial import of Yices 2, version 2.6.1. Yices 2 is an SMT solver that decides... |
buildlink3.mk | 1.2 | 4 years | alnsn | Make pkglint happy. |
distinfo | 1.1.1.1 | 4 years | alnsn | Initial import of Yices 2, version 2.6.1. Yices 2 is an SMT solver that decides... |