Binaries
cvc4
(
cvc4_1.6-2_i386.deb
)
SHA1: 8c2da8aa13a0801bbdb26735d03eb9e9a372f3fe
SHA256: b8fafcba984b7bc3ac3917a233cb7f18a98c733389dab53764cd3dce55f0c287
Size: 141,868 bytes
SHA1: 91f22af129a8c25806b8892ed9673ff68e685d8e
SHA256: bdc66da6fc5c22d807bcf6b0596a3dbbad96a9af815fdf28c9671212a36b1641
Size: 4,845,704 bytes
SHA1: f1d9eda55a26c4590cf77b79a713350e77d87861
SHA256: 4e7380c4a88c5e587f88fc3e1bd291e703c4307703643f3c9106c429dfbba291
Size: 7,669,772 bytes
SHA1: f99639232d552d020be35408cc21fe33815ca19f
SHA256: fd1ee39d320f0ea13ba868039d5f736a562d245a0069c3f6e8ff2ee2577c33df
Size: 389,800 bytes
Other checksums
libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: febd7d75b5f643be31ed0538608d55f3249fd1c6
Size: 6,329,044 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: 222c562161f9236429b4542d23163e100139308a
Size: 157,737,040 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 5da455d2c2ed14a05f029469ef506c5dbb41282f
Size: 3,636,392 bytes