4 lines
162 B
Plaintext
4 lines
162 B
Plaintext
TIMESTAMP = 1540701574
|
|
SHA256 (yices-2.6.1-src.tar.gz) = c37340616483f584ee403a06ab01fc9151a834e07a4d937a155b1e6a73b3b93e
|
|
SIZE (yices-2.6.1-src.tar.gz) = 5419404
|