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

cvc5 (cvc5_1.0.5-2_amd64.deb)

SHA1: b4b4c78f8bdbfc8db58de281ce0b33d97d51117e
SHA256: 882efc5a5210eaae01ed6ba85ca1fcf6e0f8c1d41091f85ffa83fad57a2215f9

Size: 100,112 bytes

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

SHA1: a3d83efd860077a92d3d6425df8be005d2ca40b8
SHA256: f27d20107dd94d80fd4cd5ae13ce1fcb65cbeb51e1e78706e87f893df23e9641

Size: 1,833,024 bytes

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

SHA1: 969c0602cbe9493eefc2776ba978742bd682de69
SHA256: b35611de3d838737bc8ea07c442a0502467abef03edaacbcf346d350ed0c22dd

Size: 5,906,920 bytes

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

SHA1: b85991150930719c24a7b9de43d95895039d479b
SHA256: 3ed99a2e499734a34e6cf167324e6faba139056574ddac60045763d64d8b6b7f

Size: 170,633,664 bytes

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

SHA1: 0245f2b90c26a61be184cd721292a30c239d759e
SHA256: 9554ccccfa9d270d9a3c0acfdc604a6b5890007d584de6e6470dbb241e9cdf17

Size: 60,616 bytes

libcvc5parser1 (libcvc5parser1_1.0.5-2_amd64.deb)

SHA1: 3f296b6dfcf3d4689a5b6086f03c42469207f34e
SHA256: 9eaa86271b5ee60a238d0b877bd1c32bd3e643e10d5c2486bc30164e60469d6c

Size: 366,828 bytes

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

SHA1: ecfa0147da65574084d16f22d115cf93fe348dee
SHA256: 3f524e07d76938a7d376e81a65f9e64371ef3571feed235dd11aa10c250754e1

Size: 6,156,808 bytes

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

SHA1: fada93acf858d53ee4263952809384b2395c1441
SHA256: 1ce40aa6b5c4ec62f2877b2c3a55d3b0ca3a84a5f1cdc4c69f6dbd461de4cecd

Size: 228,788 bytes

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

SHA1: 0d6c21344b9e9f84e0f77057905dfaeb73ba0190
SHA256: e5a19b6c1e8af9a54daa1b0602f1653df7bb4ccc9a4de9ecff3abe1d1f710da7

Size: 2,073,504 bytes

cvc5_1.0.5-2.dsc

SHA1: c49848be3b7266cfb171892ad520df76428c2755
Size: 2,495 bytes

cvc5_1.0.5-2_amd64.buildinfo (view)