coq_8.16.1+dfsg-1_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.16.1+dfsg-1_amd64.deb)

SHA1: 80df689d160fee7a73d5a33b4fb7d9f8d2989d67
SHA256: 6f320289fe177e3abc75408f4b198061aa3ba62fcb14c211ee278337619d881b

Size: 93,194,540 bytes

coq-dbgsym (coq-dbgsym_8.16.1+dfsg-1_amd64.deb)

SHA1: d251a49596c831ec068371d61820c0beaa89b3ec
SHA256: 88e3d7432ec2d43b88f4af2ebffed4631d15a5c5f640a909e65ef0d480fce828

Size: 14,385,896 bytes

coqide (coqide_8.16.1+dfsg-1_amd64.deb)

SHA1: 0f74221ccce2340c236fb01781ede0236cc14e88
SHA256: cd1592646807c0e9dc738d49e5f024a4862ea29a44bb631cd0b078fb637d6415

Size: 1,993,692 bytes

coqide-dbgsym (coqide-dbgsym_8.16.1+dfsg-1_amd64.deb)

SHA1: 53cb0fa9079e9bb050b81f9f4b653690a101beb7
SHA256: fc8ed45f4193c93f59a6f7905712ee5adecee1c6f64ba6e09139e2e35b1c9c13

Size: 697,304 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.16.1+dfsg-1_amd64.deb)

SHA1: 01c23ff9ba24fcb467f030960aee0ca6eb2524a6
SHA256: 28996bcbd9c43af3817fbb7d11488292230250a252dcb58ad7d3c39e0cef9f6b

Size: 22,555,300 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.16.1+dfsg-1_amd64.deb)

SHA1: a9a1f828229fdc67ea638e1b02a439af1a454eef
SHA256: 64e29bc27bae58cc2776c0e4b4f43fa0bfb076a32e77a599bb7d0e351e1ce2cf

Size: 2,144,844 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.16.1+dfsg-1_amd64.deb)

SHA1: 18e5f1a3e2486081d238cf210228420fdabfd24e
SHA256: 6c9227f5c527f3509998d0ffe8c677936720fe07d001902c40586f0432da13b3

Size: 42,723,476 bytes

libcoq-stdlib (libcoq-stdlib_8.16.1+dfsg-1_amd64.deb)

SHA1: 149bfa7c0524d67a2e487a484d907809af6cd0ae
SHA256: ff3816df691443a6d7d0df2d9a8140fd508541b00b8cc53fecdb9b88e778e4d7

Size: 21,525,428 bytes

coq_8.16.1+dfsg-1_amd64.buildinfo (view)