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

cvc5 (cvc5_1.0.8-1_arm64.deb)

SHA1: d4767aa90f6ff316b26df916005de42546350cc6
SHA256: d61d91cbf46422a3314e1d5622c336fe0f932f1c85b3d27a52cb65b4c14806c5

Size: 94,524 bytes

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

SHA1: 956a0f336b64b99108f88bcfcbcacdc41812699c
SHA256: beab5a345bd756c06c7d96bdc4f959b8bde23c83984f8f67a9f68e96c7847de8

Size: 1,709,588 bytes

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

SHA1: 079a7e4df3cff3a52aba85283b0dc09306d4033c
SHA256: cd05fc42bf53fd7c4aaaac6941b0b31355a44949912c0e19131bfa95af192187

Size: 5,224,796 bytes

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

SHA1: a1722ae887b50bbf1cec105f67b4390f4f69b25e
SHA256: 48cb1a2e3ac162b69867b089f88864afc49b2b64615e0092f715468dcd61de50

Size: 170,869,292 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: a52f0d9c3274753eb4d860dcf18fdb2aa08eff7c
SHA256: d1fd0296e49d6e85fbbd48c34c1b6501e7f8af5b79ac24cff55be24bc8703f2e

Size: 193,640 bytes

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

SHA1: f748eb0d608a274b330344b14eb0a402c4d9d3b7
SHA256: 073190caef4611462c36addc158705b676dd3c59997bb05243e348f5e81cf50d

Size: 3,786,664 bytes

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

SHA1: 5e596eac703c064b0e0568cfa1cbf2e657175749
SHA256: e2f4f1453ef3a4a12f1514db063bdf872dd94e38ff977ea0e2263580d36fec33

Size: 251,276 bytes

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

SHA1: d1fb5dd4b4e49418e98ea4bbddc9b5109cd1b0dd
SHA256: d8a4843029838d8f25cfddc88abd37acbb9d426ef01a1b74b5ba572aa290b87d

Size: 2,227,516 bytes

cvc5_1.0.8-1_arm64.buildinfo (view)