summaryrefslogtreecommitdiff
path: root/math/py-smt
AgeCommit message (Expand)AuthorFilesLines
2022-01-05python: egg.mk: add USE_PKG_RESOURCES flagwiz1-4/+6
2022-01-04*: bump PKGREVISION for egg.mk userswiz1-1/+2
2021-10-26math: Replace RMD160 checksums with BLAKE2s checksumsnia1-2/+2
2021-10-07math: Remove SHA1 hashes for distfilesnia1-2/+1
2020-08-18Import PySMT-0.9.0 as math/py-smt.riastradh4-0/+429