6d46f34aa3
PR: 211460 Submitted by: maintainer Reviewed by: koobs, feld (mentor) Approved by: feld (mentor)
3 lines
189 B
Text
3 lines
189 B
Text
TIMESTAMP = 1469896511
|
|
SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910
|
|
SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712
|