Binaries
cvc4
(
cvc4_1.6-2_amd64.deb
)
SHA1: b280d5f0c269fa5cabcf884a467feb043965fe86
SHA256: e1dff2d2c575e379e3c13270b7ec0cd24460718af8afad002c69b5d0545eeecd
Size: 139,652 bytes
SHA1: c03f7db8547e2db3cb050299c8debbe88a8a0d85
SHA256: daea09c6424628202ff95c96facb04598c0488090916f57432f1b2c3b06bf3ec
Size: 4,511,032 bytes
SHA1: 8baf069990efc75ec5829a043129c410d3df9192
SHA256: 023b1f4bbcc58f1a646a3768d3ba4a0f29c42aa0aa65dafe0f279e11f7640010
Size: 7,273,060 bytes
SHA1: 7e3250bbfcdc83daa35b3fc952f16ce6f43b5e4e
SHA256: 062a9a1417b205b74bdaf2ae0b362688e52640fa5dc86e0f680a19aa3eecab41
Size: 367,812 bytes
Other checksums
libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: c76a2fc85d01e2f1b94b4ca8b8cd28f783fa152b
Size: 6,585,036 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: cb7f944349c105298c0d55e5f3c162032cbeb086
Size: 156,933,508 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: ef7d466afda03b424e662ae442f986807c0cd8e6
Size: 3,719,124 bytes