| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2022-01-05 | python: egg.mk: add USE_PKG_RESOURCES flag | wiz | 1 | -2/+4 |
| 2022-01-04 | *: bump PKGREVISION for egg.mk users | wiz | 1 | -1/+2 |
| 2020-09-18 | py-z3solver: update to version 4.8.9.0 | khorben | 1 | -5/+3 |
| 2018-03-20 | Really correct the PKGNAME | khorben | 1 | -2/+2 |
| 2018-03-20 | Correct the package name for math/py-z3solver | khorben | 1 | -2/+2 |
| 2018-03-20 | Import math/py-z3solver version 4.5.0.1 | khorben | 1 | -0/+20 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |