3 lines
189 B
Text
3 lines
189 B
Text
TIMESTAMP = 1550905881
|
|
SHA256 (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 38add382c2257b702bdd4f1edf73544f29efc6e050516b6cacd2d81e35744b55
|
|
SIZE (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 701037
|