forked from Lainports/opnsense-ports
3 lines
214 B
Text
3 lines
214 B
Text
TIMESTAMP = 1699204638
|
|
SHA256 (Boolector-btor2tools-g20320816-037f1fa_GH0.tar.gz) = 304080e3b4dc11ea3da747907e231bdbe7bc7583cd38faeae6eb591cfb2adf45
|
|
SIZE (Boolector-btor2tools-g20320816-037f1fa_GH0.tar.gz) = 87314
|