mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-22 04:17:44 +00:00
ff07470743
PR: 212601 Submitted by: 6yearold@gmail.com (maintainer)
4 lines
189 B
Plaintext
4 lines
189 B
Plaintext
TIMESTAMP = 1473692160
|
|
SHA256 (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 789d53c90ecbd5910f48e4e1bd835e374b268e0b3872a81fd5c6178a30a5e263
|
|
SIZE (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 596710
|