cvc5_1.1.1-1_amd64.buildinfo — buildinfo.debian.net

cvc5 (cvc5_1.1.1-1_amd64.deb)

SHA1: dd27a83875d7150a1e9ccd7d79885de7117dd9bf
SHA256: 3500353ea729e0442bb6f51250fffc55ca9afa9b1de5b39770d085bbebcbcba4

Size: 108,620 bytes

cvc5-dbgsym (cvc5-dbgsym_1.1.1-1_amd64.deb)

SHA1: aa4de5d811c91016bf59ba35a6ecded308f33ca3
SHA256: 93a1eb1772d56d0303a0eca078f88a34bbcafeb447579fbc1ccdeb65a1016262

Size: 1,764,848 bytes

libcvc5-1 (libcvc5-1_1.1.1-1_amd64.deb)

SHA1: cd7bece7915d065639a450469b5ed6a1c19d8f4e
SHA256: 13541b0b61d034e424f0ba16b2d7cc8f304d86b59369cfdf229506ad734f0700

Size: 6,297,508 bytes

libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.1.1-1_amd64.deb)

SHA1: 95cc257a942279e22aea9b1ee53f107ab306148b
SHA256: 4496b04a8f9efec2ccb15639566a3d0fdc86d8a1d0b6deec4f7669146f042af4

Size: 176,760,192 bytes

libcvc5-dev (libcvc5-dev_1.1.1-1_amd64.deb)

SHA1: 4d4a47eb6fdba417f7a861200f0dfdbc5622999e
SHA256: 1451ffea3a430084e330e0646e8b4e419555cc88228d3e49915240f61bc5d368

Size: 79,640 bytes

libcvc5parser1 (libcvc5parser1_1.1.1-1_amd64.deb)

SHA1: 8b6fb98fba6e9b480eba1adb7290f9075ea9fd84
SHA256: 65c06f7ff240d63e14728e1043aebfc8f32b191d592720c9537bc05dd37d750e

Size: 231,608 bytes

libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.1.1-1_amd64.deb)

SHA1: 332f0c23d761b22cfc91518225aa3f02191485f2
SHA256: d206ccd7bb501646ff889af7847ef4c6b924780cc5b28af69122db1edf63c77a

Size: 4,009,744 bytes

python3-cvc5 (python3-cvc5_1.1.1-1_amd64.deb)

SHA1: 9a0ab43d789c8878119b0cd1dd25a61a16e494f3
SHA256: 94ed0e04d7c00bf5adfe8c7b0815609211f3dbfd162d53f9a7b01cbade311fb6

Size: 323,836 bytes

python3-cvc5-dbgsym (python3-cvc5-dbgsym_1.1.1-1_amd64.deb)

SHA1: 42d9b5361c6ccadeaaf151b7b7e297e389da5cf7
SHA256: f460be1a7e9c8c8edb0c589e742566d807b569dbf027b25e2c06bf65c56e1545

Size: 2,557,608 bytes

cvc5_1.1.1-1_amd64.buildinfo (view)