Binaries
cvc4
(
cvc4_1.6-2_i386.deb
)
SHA1: e06b67c2a048cad1dea1cb0b9ed97270ca2c2090
SHA256: 2ddfd53dd4ce4449573e9e930462b766a07103cc1fe16e32b5376300f363a9e6
Size: 142,436 bytes
SHA1: 5a7465c00d1510cc43fb2a56707d0b79d115913b
SHA256: dd64e53e56cbbc74f49c3894cd42a7f75b39ee9e47e81f29c45dbdd65befd48c
Size: 4,642,904 bytes
SHA1: 0c327c86e435a09640c06f3091aca7a71c182722
SHA256: b2aba8125839fddfd62067c9eff236375da2710dd1987970b44434da6a81fb4b
Size: 7,342,460 bytes
SHA1: 8be8a72c97530def679f01b1e327c32058c2534a
SHA256: e31028fd721d9b7a8ec973a9662512424897409a6c6920b708d34bdac6bf2a4d
Size: 390,472 bytes
Other checksums
libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: 0d4096d953a7d0c286ef272acc43eab041905d92
Size: 6,017,324 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: 66a403c082a47f6adf68efe1b3ab20951c4f202a
Size: 148,962,548 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 8de2aa87ca882f721963ceef014d232c4d736eae
Size: 3,521,808 bytes