4 lines
190 B
Plaintext
4 lines
190 B
Plaintext
TIMESTAMP = 1575434687
|
|
SHA256 (Boolector-boolector-3.1.0_GH0.tar.gz) = 0c799f4e835e7f20ae7ecf7c3c8a99b9638b01cfe7b7f5dd1bc93ac478a0b06c
|
|
SIZE (Boolector-boolector-3.1.0_GH0.tar.gz) = 1548782
|