coq_8.12.0-3_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.12.0-3_amd64.deb)

SHA1: f3824e7a33881d35382f9447bfa3f903bb2aff15
SHA256: 0eaf6b7062ea54fc0ac5a5dae97499fcf3d0e624151dd87b55497fc3c50d5a40

Size: 90,468,792 bytes

coq-dbgsym (coq-dbgsym_8.12.0-3_amd64.deb)

SHA1: 2dc9abe51dcdb6a1b1d69907b7e237625a178d37
SHA256: 63502bca9ec317362e93a0362c520fb9c7caff18475865bb7fc65da48c8289c3

Size: 8,470,584 bytes

coqide (coqide_8.12.0-3_amd64.deb)

SHA1: 7bf7a91aeb175026926061b5458fc4dce94f000d
SHA256: 256743abe4f54307bc693ffe6f8efd43c575cdc5f4f55fc5a047fbe55f717712

Size: 1,878,108 bytes

coqide-dbgsym (coqide-dbgsym_8.12.0-3_amd64.deb)

SHA1: 6109cb08899bbfd30edc5c5d0ba5980f4535048d
SHA256: e88ff64965297065ef8809fb2e5cd719dfabadba8bf81b5ef960b6f5adc18b86

Size: 567,708 bytes

coq-theories (coq-theories_8.12.0-3_amd64.deb)

SHA1: 9d10ff2db192ccb861264750ba4225fd318b9eb0
SHA256: 7f17acbccfe8b97ccf684db2a86a2d47e881e0143eba634f26ca6f7ad6929ea4

Size: 36,488,992 bytes

coq-theories-dbgsym (coq-theories-dbgsym_8.12.0-3_amd64.deb)

SHA1: 0cf698e209bf2babb2cb48937ca4317268d33cba
SHA256: f54c507406251def97ce6c0f7e3d0140061f7c23ab43b168f364dbe171f8e097

Size: 977,824 bytes

libcoq-ocaml (libcoq-ocaml_8.12.0-3_amd64.deb)

SHA1: af44890084d2921b32c5dfca11e0cc8890a27a42
SHA256: e43dbca1eb3f5ffec8512cbd361c98e61634e798304cad5d09948d4d9e00010b

Size: 7,756,184 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3_amd64.deb)

SHA1: bd0673b286e7068296c515b120f0c9b2dbb35377
SHA256: 5a1a58184b75bdcf2c2157de1faf0a23c2fef62b0f094fc2755d7ba13329c0ca

Size: 658,988 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3_amd64.deb)

SHA1: bc6496f98b1b56dec4a64e41050d6304e5d3e266
SHA256: 9de1c5228e455a8a9a090abb2e1103cf8dd6c562cdd1066a8ef5d2d2deb8bbdb

Size: 18,724,060 bytes

coq_8.12.0-3_amd64.buildinfo (view)