blob: a4c0b91542eed8315adf527a32262da745f2cd09 (
plain) (
blame)
1
2
3
|
TIMESTAMP = 1699204638
SHA256 (Boolector-btor2tools-g20320816-037f1fa_GH0.tar.gz) = 304080e3b4dc11ea3da747907e231bdbe7bc7583cd38faeae6eb591cfb2adf45
SIZE (Boolector-btor2tools-g20320816-037f1fa_GH0.tar.gz) = 87314
|
