3 lines
214 B
Text
3 lines
214 B
Text
TIMESTAMP = 1560490143
|
|
SHA256 (Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz) = e3565704b644153c892ac05746dcd9b937d1337b9ba31bdf57c027c989b48d0c
|
|
SIZE (Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz) = 70083
|