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
|File||Rev.||Age||Author||Last log entry|
|DESCR||126.96.36.199||4 years||alnsn||Initial import of Yices 2, version 2.6.1. Yices 2 is an SMT solver that decides...|
|Makefile||1.5||3 months||riastradh||Mass-change BUILD_DEPENDS to TOOL_DEPENDS outside mk/. Almost all uses, if not ...|
|PLIST||188.8.131.52||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.3||22 months||nia||math: Replace RMD160 checksums with BLAKE2s checksums All checksums have been d...|