| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2022-05-09 | py-z3solver: Portability fixes. | jperkin | 8 | -1/+122 |
| 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 |
| 2021-10-26 | math: Replace RMD160 checksums with BLAKE2s checksums | nia | 1 | -2/+2 |
| 2021-10-07 | math: Remove SHA1 hashes for distfiles | nia | 1 | -2/+1 |
| 2020-09-18 | py-z3solver: update to version 4.8.9.0 | khorben | 6 | -114/+29 |
| 2020-03-18 | Fix vector to element array conversion | joerg | 1 | -0/+15 |
| 2020-03-18 | Fix vector to element array conversion | joerg | 1 | -1/+2 |
| 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 | 6 | -0/+160 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |