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 / py-smt
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon} Parent Directory |
||||
![[TXT]](/icons/text.gif){kind=icon} DESCR |
1.1 | 3 years | riastradh | Import PySMT-0.9.0 as math/py-smt. pySMT is a solver-agnostic library for SMT F... |
| Makefile |
1.5 | 4 months | adam | py-smt: mark as PYTHON_SELF_CONFLICT=yes |
| PLIST |
1.2 | 8 months | khorben | py-smt: update to 0.9.5 From the release notes: Intermediate release that coll... |
| distinfo |
1.4 | 8 months | khorben | py-smt: update to 0.9.5 From the release notes: Intermediate release that coll... |