cvc5_1.0.5-3_amd64.buildinfo — buildinfo.debian.net

cvc5 (cvc5_1.0.5-3_amd64.deb)

SHA1: d7f49d69decbfa75d7b6f6dc05f51feb86b5bdda
SHA256: 37576f58dfea843ee773236f243d7a45695cc7ec1d8e6267bd49ab98567b6670

Size: 99,924 bytes

cvc5-dbgsym (cvc5-dbgsym_1.0.5-3_amd64.deb)

SHA1: d3b8355087a3ab8f2e70edbd06e427feab4bd63d
SHA256: e72987d55718769b8c69c4171b5d23c8c71907079255415401b759dfa872410b

Size: 1,834,152 bytes

libcvc5-1 (libcvc5-1_1.0.5-3_amd64.deb)

SHA1: 57b3b3cc2bbb64aaf84c55a56e84b51a792a52f2
SHA256: 5d26c4cee676c040391f53fa6aa15b78cf7cfa9e862724560b83d5375e9f0479

Size: 5,908,992 bytes

libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-3_amd64.deb)

SHA1: 554792ada4bd825ec9719289fc875616355e4f6c
SHA256: 5312eba510b479a319f72116438d29eb65418c04c3398de42d74c89a95427f44

Size: 170,630,076 bytes

libcvc5-dev (libcvc5-dev_1.0.5-3_amd64.deb)

SHA1: 67b8cbcedca45a8e2de2d3791ad409453cf483bc
SHA256: 7f5c960700a0079fc957a31b837a27ed479d764baaeaf591d8b1cc3958599add

Size: 60,640 bytes

libcvc5parser1 (libcvc5parser1_1.0.5-3_amd64.deb)

SHA1: 0cae541179fe25f9efbc429466d3f10a6dc7a8c2
SHA256: cf3c40fb269a5776dcb0d08513a4148ade13dbf628bf6553d14355610a03f049

Size: 366,912 bytes

libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-3_amd64.deb)

SHA1: 6358181addb9dde9bbb80fa76262d51b510f2880
SHA256: b3cb482e5026beb5de2fb98af49bd23cdc2cd32654fa53be9e71a93fd469b1cc

Size: 6,157,008 bytes

python3-cvc5 (python3-cvc5_1.0.5-3_amd64.deb)

SHA1: d97b6297dbf4fc816d3c74a5185b7ca60df47169
SHA256: d477c14c2cc506e192761eafbffbc765bbff82ed43c1c9a32fae537a9c639cc0

Size: 227,924 bytes

python3-cvc5-dbgsym (python3-cvc5-dbgsym_1.0.5-3_amd64.deb)

SHA1: ad1360c1e43c3cee9d72340f1dc3ccde9b85f409
SHA256: 9b57c7e5de44d29ddf224deed301e7297c09337b39bb6c6c4a5f9e364fabd413

Size: 2,073,192 bytes

cvc5_1.0.5-3_amd64.buildinfo (view)