coq_8.15.2+dfsg-2_armhf.buildinfo — buildinfo.debian.net

coq (coq_8.15.2+dfsg-2_armhf.deb)

SHA1: 356c1d2faf4a71dc7cdb008c8f18dbb923ba248f
SHA256: 4a1dd7aae4f515a04d1d03dda25b41110ce0124c272156a899e235f79244a3de

Size: 77,739,560 bytes

coq-dbgsym (coq-dbgsym_8.15.2+dfsg-2_armhf.deb)

SHA1: c5fc9115ab5de4bb24fdaa5c2e24a5c6c85f794b
SHA256: bdd8427db6966a8c611d94461418c623eacff0346d454d39d3122b2ac764ee55

Size: 12,273,372 bytes

coqide (coqide_8.15.2+dfsg-2_armhf.deb)

SHA1: 0d9509e517888f58d5368358d75e278522b8890a
SHA256: a83e9e98ddda8ae66902cc035e1f7402fd08e421358b709a1c14fcd0158aea55

Size: 1,838,164 bytes

coqide-dbgsym (coqide-dbgsym_8.15.2+dfsg-2_armhf.deb)

SHA1: ebcb9e058ef9611eb06fb73a38504140fb159cf0
SHA256: bd276edfa7db59193a4404132e7df632b06358adcf22d004a023c5890e37f026

Size: 627,568 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.15.2+dfsg-2_armhf.deb)

SHA1: 275b610f45389f7d0a51f1256591bedf6db6f0a3
SHA256: d5fbc84283877a888f781054a3732cdf47f551cee70c7f35fc41ed4acba7bd71

Size: 22,196,220 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.15.2+dfsg-2_armhf.deb)

SHA1: fa9723d0c5b8c08622ad2d20ee4b92bf3eadd12e
SHA256: dbd62e44af241585ed35f6356d98825d14a7da86218ae497aab6d894b38567b9

Size: 2,746,880 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.15.2+dfsg-2_armhf.deb)

SHA1: f48aa9c913d53d53c26da4034ed233b73a367f06
SHA256: 4002603b152b78fe73cef2a5c5ae29f81ff58f2d03950e8e2c420d829171ff49

Size: 43,762,692 bytes

libcoq-stdlib (libcoq-stdlib_8.15.2+dfsg-2_armhf.deb)

SHA1: ab53fce6a474fba212384190605c038f2780534b
SHA256: 1957090ed37b31f439aaddb1df577ef1349c8ab2b8e486fb98f108afac447855

Size: 21,428,340 bytes

coq_8.15.2+dfsg-2_armhf.buildinfo (view)