4 lines
162 B
Plaintext
4 lines
162 B
Plaintext
TIMESTAMP = 1724046623
|
|
SHA256 (yices-2.6.5-src.tar.gz) = b01aedb35af57c06006c147b2491162cc8974d6c5991914833dd6d827681399d
|
|
SIZE (yices-2.6.5-src.tar.gz) = 6149050
|