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

cvc5 (cvc5_1.0.5-3_arm64.deb)

SHA1: 14b25b762004d8d48b407e8967007f7148526140
SHA256: e0bf353f4deaabb813e6a4f381822612fed5ff2908ebcc053777f8059cd8261c

Size: 88,544 bytes

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

SHA1: 184eb2ad15a4f62eb8c82a792cff404292972d15
SHA256: f3b1e0e1b460772dad6af3404e78eb73419047a6f0bf3d37dbce6ad272a36ecc

Size: 1,800,576 bytes

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

SHA1: 09f7ddd22988defea87f1a876ceaa95268ed0f30
SHA256: 984faeaa0e9805970833dad00ea4402f7fa5a5d3ea0ff2b5b9fef8b7cee6663b

Size: 4,986,696 bytes

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

SHA1: e64ba37020e5eafef5fa7917eaf99da80dadc176
SHA256: 969633c75fe02d49e0a9cf89a90b941adc825a5e60fcb76877843f3f069f9618

Size: 166,873,060 bytes

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

SHA1: 72e8668043828196f9b6b3baef54c9776f25a1d9
SHA256: bd7b55444780f1c9a2203f540ff2176cca2eac7642e51727f517fca786fa8d0c

Size: 60,632 bytes

libcvc5parser1 (libcvc5parser1_1.0.5-3_arm64.deb)

SHA1: 6277faa52e7f55cfc718dbd8ed8b28377f600626
SHA256: 7bcb452f701a0a8d20fba8df2f652ea92e57791d8215fc13b2bc39a303e4027c

Size: 320,400 bytes

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

SHA1: cce12c82d4444341f07f245e05ffe7eef279de67
SHA256: 64ae893e12bb117b4a809c20cc159b95e032dce16099e867d2a6003ae2f48960

Size: 5,962,856 bytes

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

SHA1: f84d7731b409d1b3c64b2ae1b21d8fd298f08e89
SHA256: b5459e25ccf43395114e63dab990a730095baf6668350d078750e80825b591ca

Size: 199,220 bytes

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

SHA1: 5613ff57d657ac27be823e26f637443231037512
SHA256: 9005c0b5d886110a56bead607e045e4219470ea6ecc60875eec6614811007fe6

Size: 2,021,280 bytes

cvc5_1.0.5-3_arm64.buildinfo (view)