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

cvc5 (cvc5_1.0.5-3_amd64.deb)

SHA1: af9375a3f08416d67b74eae164c454fa72755626
SHA256: 3d0542f9b125e2efe2a3d98f5fc37639fed432beee20bf05d222999a706e4b3d

Size: 99,756 bytes

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

SHA1: 79345b7f338038186e1d8e5367a1e0203d859206
SHA256: a0911a36b3673d7635f34088609037ca9b1fe3aee6a4cc9569c52931c2621494

Size: 1,832,940 bytes

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

SHA1: 1b72ac24da5d94f8ecbf50a1dbd1e5b8224ba1be
SHA256: 49c1100786a6729e54cd1f8286773cf0c58277e1f6f42218e3cf021b4744adcc

Size: 5,908,352 bytes

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

SHA1: b9fe21b19075796a8121bb21d2f97b81f4aecfb0
SHA256: 8d281b76fce8e4dc92fde57d571a5db5f748fb26f89482dc7e5835e5a03ed297

Size: 170,629,520 bytes

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

SHA1: 67b8cbcedca45a8e2de2d3791ad409453cf483bc
SHA256: 7f5c960700a0079fc957a31b837a27ed479d764baaeaf591d8b1cc3958599add

Size: 60,640 bytes

libcvc5parser1 (libcvc5parser1_1.0.5-3_amd64.deb)

SHA1: 103d9dae30c87db881351d33199937eb99a9e439
SHA256: 2443a268cd16efc099ea0837e4c315316272a04702537f607738c01c837d703d

Size: 367,432 bytes

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

SHA1: 4819a1f1aab75d45e0b71085918e4f3640a898c6
SHA256: 3883b4c1cbff5e0b075aa7e43c54ebba479d67ccd7f7c8ccf0d364a23fef7af8

Size: 6,157,196 bytes

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

SHA1: 0ccd17b02d661456c574c9cf0370dfdeceff8938
SHA256: 9424a0c7e381a75ab343d3560c63c878f7be498641113d08177f79b279f20ba9

Size: 228,208 bytes

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

SHA1: 14e5a7e2b1fb4c001b822ddfee518e4a2c6e676f
SHA256: 3c7e52c1de739238346f3f4d8076eccade9cb6e6be198651ffeaac86d267d26d

Size: 2,073,668 bytes

cvc5_1.0.5-3_amd64.buildinfo (view)