Binaries
cvc4
(
cvc4_1.6-2_amd64.deb
)
SHA1: a0c60a31da7e7c11f400b454a15ae9a535a04ae9
SHA256: 80fee673052e1a266bc27bbb979adae378bf43a7ac589da8b5edb6a51ec99a49
Size: 137,928 bytes
SHA1: acad911d1e7c40eed3279bb205f7d878dc4a14a9
SHA256: b895431e7b288f8af208753ab4206296433487c1c42ca9c03504e0cfdb7fe866
Size: 4,165,916 bytes
SHA1: f08ccfd6f89f6265f3b269cca9e094f83181b1d6
SHA256: 18c178416da9fa465326a9331e529c918406745e795059cde0d3b8d067021187
Size: 6,821,628 bytes
SHA1: 903020c376addf2fee81b0155eb1c6d9090ce1f4
SHA256: 94e4f29ed8fa93f684d02fb88982e15a6be2283532ef25c9b3073b8ff81648b6
Size: 362,200 bytes
Other checksums
libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 78dcee6580e6d9453a7f7338e68edf1ccb7535e2
Size: 6,259,312 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 5ef464a512bfcf7aef7c87dcc6916f62b8e21c40
Size: 152,731,712 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 531e861ed750c797b401f07a4e70bf29f1cd5de7
Size: 3,600,196 bytes