4 lines
206 B
Plaintext
4 lines
206 B
Plaintext
TIMESTAMP = 1790575717
|
|
SHA256 (Boolector-btor2tools-1.0.3-037f1fa_GH0.tar.gz) = 304080e3b4dc11ea3da747907e231bdbe7bc7583cd38faeae6eb591cfb2adf45
|
|
SIZE (Boolector-btor2tools-1.0.3-037f1fa_GH0.tar.gz) = 87314
|