cvc5_1.0.8-1_arm64.buildinfo — buildinfo.debian.net

cvc5 (cvc5_1.0.8-1_arm64.deb)

SHA1: dde28e2a173f083d10e5d2fbf08d817a6a0eb61b
SHA256: 9f3750591f07ca257d9d4a9a611771f0dcfc91febafb9886680d4bfb81c91400

Size: 94,176 bytes

cvc5-dbgsym (cvc5-dbgsym_1.0.8-1_arm64.deb)

SHA1: c54be7e7e4a221caa7cfbd71524ac405c2e6ec7f
SHA256: f39d8363a23ccdb13361dbe19e4a77af6d236956f4d59fa434511caa3f786ed7

Size: 1,709,872 bytes

libcvc5-1 (libcvc5-1_1.0.8-1_arm64.deb)

SHA1: 8a25f9f2ff2a576b77b6a0141a5971c946510706
SHA256: 52978c791aa6b3a2c299a6211b2a0a9408413a884d1e07e81ea7ba5798ab4c71

Size: 5,224,380 bytes

libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.8-1_arm64.deb)

SHA1: 42cb57048c3c095f949e074988d25fd8b73f5494
SHA256: 759d573d335dc03296bf990bb390c51ce4d83da27488a59328797c30068961f0

Size: 170,861,372 bytes

libcvc5-dev (libcvc5-dev_1.0.8-1_arm64.deb)

SHA1: 40b76cb9301adc9412f7749c593e63fef05832e7
SHA256: 633d63d3ea77f875d621341c803729a9e46b6dc0077acb9534dfe529ae1f0122

Size: 64,584 bytes

libcvc5parser1 (libcvc5parser1_1.0.8-1_arm64.deb)

SHA1: 90cb5a05878152acdb4085ef6d20153dce87d584
SHA256: 47a708370c1315014955ddab3280d9746ad353bf42c442ece0b28b866a197ba1

Size: 193,444 bytes

libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.8-1_arm64.deb)

SHA1: 4ee16358dafc7583bb330f7602ba6f7511f56e4a
SHA256: d688d8bee152ab9a5943953c7dec35fedcd1e7831df3aad7bec64ebacfe2cee9

Size: 3,786,652 bytes

python3-cvc5 (python3-cvc5_1.0.8-1_arm64.deb)

SHA1: 4d362c6326b7cf1c5b7f8de38ed8ef68ff42257a
SHA256: f6bc08abf117de324398b75c5823f09ccf33ac616cb356bf2fa436456419796b

Size: 251,244 bytes

python3-cvc5-dbgsym (python3-cvc5-dbgsym_1.0.8-1_arm64.deb)

SHA1: 00cc0b023e4943d58558a935778682ac0840e0cb
SHA256: e231af57362161d9de3972e9f73a2e208344b22cf060e223c7b50afc8722c9d5

Size: 2,227,860 bytes

cvc5_1.0.8-1_arm64.buildinfo (view)