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 |
|---|---|---|---|---|
![[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 | 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 |
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.3 | 22 months | nia | math: Replace RMD160 checksums with BLAKE2s checksums All checksums have been d... |