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