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

cvc5 (cvc5_1.0.5-3_arm64.deb)

SHA1: 660ee1702f26717832eaeade2f98bbe83210324f
SHA256: 9d94e0f50654abbff2f841ed00cddc6df48003f4a904c558746701da762947e4

Size: 88,824 bytes

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

SHA1: 52e4cf5138bb0f4ecc208db1e20a70227491ab05
SHA256: df6d6314dc57e27b42eeb1707b6e07fc1ee72ea3cf43b142bd948e0ddb2ea608

Size: 1,799,548 bytes

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

SHA1: 1fc32961006e63f718e7348d2a97586d53f0868c
SHA256: 52b8acf9266cb5b129a2ab345845889eaf3c81fa8582be15a67c9dd8ae1f1bd3

Size: 4,986,868 bytes

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

SHA1: 72b09c950fd763bb53d2979531cbf6cea83b9608
SHA256: 9f79fa355cf32d52c36bdb265c1235f0b84c54eddc556e968c4053fe88738c79

Size: 166,875,436 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: a756755d05cf33a2bfd0d123e0d7b14f5a2b5f17
SHA256: 9cdb377dbcbd55cca3aed9971b693031bd15aa411ba9be6b7251b9954765efba

Size: 320,216 bytes

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

SHA1: f158835eb64ed8abced922fe2b6faec3a528f516
SHA256: 7711a2c19a72ac60e5c0fbe88c5d8dffade938d3253a33b7f665f9e71bf8ca63

Size: 5,963,044 bytes

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

SHA1: 3bf5bda6567620a138c4ec9006f9adccde9b7a1d
SHA256: 26d2ec4f5abf16700e638782b2475e04cadba9c7b72f54cd89d5b2be78e79cba

Size: 198,912 bytes

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

SHA1: 71cb378b4df81df06f29019a9c9bba16b5d622c7
SHA256: e80a48a8c982b76ff95a836208dcb25db62e15bd693a822659d879faa3a9cbce

Size: 2,020,916 bytes

cvc5_1.0.5-3_arm64.buildinfo (view)