summaryrefslogtreecommitdiff
path: root/math/py-cryptominisat/distinfo
blob: 8362d2b86aba10c4718f33e658d1081ed6c80d60 (plain) (blame)
1
2
3
TIMESTAMP = 1707645848
SHA256 (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 288fd53d801909af797c72023361a75af3229d1806dbc87a0fcda18f5e03763b
SIZE (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 975459