aboutsummaryrefslogtreecommitdiffstats
path: root/math/cryptominisat/distinfo
blob: ba51ff15381b218f372fbac41422cf99f5ad6827 (plain) (blame)
1
2
3
TIMESTAMP = 1533812522
SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f
SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713