Binaries
cvc4
(
cvc4_1.6-2_amd64.deb
)
SHA1: 98eed1ca2340180dba119046e13788f5c055cc05
SHA256: f3833550accc919901bf3f33e3185ef51b053c98fb20249b32ef8f7e2a1e994a
Size: 140,804 bytes
SHA1: be62e2f19cedd02bd53f30b1075c6e572600c1d9
SHA256: 65daf6a7485c116f7f67d3031081df30b1ec9f2cfb2c7630f7eef6ff5ef5e688
Size: 4,511,220 bytes
SHA1: 8baf069990efc75ec5829a043129c410d3df9192
SHA256: 023b1f4bbcc58f1a646a3768d3ba4a0f29c42aa0aa65dafe0f279e11f7640010
Size: 7,273,060 bytes
SHA1: 3cba71d255b049c4a5aae81f9bc269e6a0baa542
SHA256: bb7aa20fd171fe91a87687a3aefbc717b9e1b789d6bdfa0c9be91e17c6f49e97
Size: 367,604 bytes
Other checksums
libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: aef9e37216d21d4cbd1e97119597a01a79fcd7e6
Size: 6,584,800 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: a06d14c8a4d5ba2c388858e2c914ad432cf38da1
Size: 156,933,508 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 9551e645ff401f7055b06038a8e008d2a43ad459
Size: 3,835,420 bytes