aboutsummaryrefslogblamecommitdiff
path: root/math/btor2tools/distinfo
blob: cdfa44d332bb4e7eb9f59857ffbfac0401a9f490 (plain) (tree) 
8a1669092b09



1
2
3



                                                                                                                             
TIMESTAMP = 1560490143
SHA256 (Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz) = e3565704b644153c892ac05746dcd9b937d1337b9ba31bdf57c027c989b48d0c
SIZE (Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz) = 70083
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-04 10:52:34 +0000