Binaries
cvc4
(
cvc4_1.6-2_amd64.deb
)
SHA1: 93fd70376c81a5aa9ab3bcaefae35945d30a35f6
SHA256: 68bfdf611dd2ce649c98177ea7d23dca7af32c70d65a64548b933134c9b0605d
Size: 138,040 bytes
SHA1: 11a7e227765cb1be5a79bea3ee98b9d69e9c8af9
SHA256: 87fad4b3625a45e1ca01b201664f2f1942415d083e42583a6237ce15e5892277
Size: 4,166,088 bytes
SHA1: 073ebb609d00e29b16d2a107816388e89610e8af
SHA256: 113ff3f2bde170e797067a8036f259217bdff3a4f85637b4c6bc91c358cbd52d
Size: 6,821,644 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: bdcc63294048a17015c0ddfa43bde69c7860cfb2
Size: 152,731,640 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 86c142e12d2ae3aa8afbba350df9ed8c50fe58ba
Size: 3,600,168 bytes