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

cvc5 (cvc5_1.0.5-3_amd64.deb)

SHA1: 44af4bcb0271801853acbb84d101b57223c6c265
SHA256: b76b4708c4745cfd0c6c48bc8810ac0718585728031b0748c16c5592384dfa35

Size: 99,992 bytes

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

SHA1: 1dcc1fe9ccd79971669cd25c9f848abb837e2585
SHA256: 5497ef1672722a42196411243fac8b56e31794b7eb46a1da0bd8aac73218cd46

Size: 1,833,176 bytes

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

SHA1: a44ebf3bf374f74600a87b7972f1079344ef12d7
SHA256: 2dbb9f0d7302fdfe0e090cbf7661ea3be6d4f0c4bb06b27b035b9f8793b246b6

Size: 5,908,996 bytes

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

SHA1: 7c84ed69d4763a4cc0db507f71970da5eed5e2dc
SHA256: b35508b9e83da4850eef5ad60db67233a9c9f3853690b7ac71e137cadc6f07e5

Size: 170,634,404 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: 9c7491276743a5c9cfdc133bedeaeec7be118c1e
SHA256: 2e46343a84765b920903bd422df82e081642b626677667d831b23cb51ce027a2

Size: 367,492 bytes

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

SHA1: 193aeaf265f7f7a5645c36b7a22b3c223569498f
SHA256: 236d7e700ae69c0447dfb06419a4877d1eaa83a3e2dd6cd64229d5331b3c5fb2

Size: 6,156,428 bytes

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

SHA1: e9f840555181a4f561fe8d5ffa2c37318376080f
SHA256: 8a120db169a831ad8e52fdd6ba253755f394967db733b5bfc3ba8e79853539f0

Size: 227,624 bytes

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

SHA1: ccac91b36459f7f782730298405bf253ee614a9f
SHA256: cb56f441c52442c6a3db06c0802272ab2e3335e21ea0f5cb4138773ade12f0c7

Size: 2,073,528 bytes

cvc5_1.0.5-3_amd64.buildinfo (view)