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

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

SHA1: 1d515aa09bdfbc07f93c68b1a0da3ad05bf2bcb0
SHA256: b647cd1c54f0613ea449620b1c4528ac51db7382ecc4f5c9907fc541c350f93c

Size: 78,504,796 bytes

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

SHA1: dcb454504e5ba4f32fe61b22d2936d3d9d3c8ac1
SHA256: 22af626db5f09eab097e09d4599933fe6d8999d4ca21ff81a3e94bcf53db271f

Size: 8,660,052 bytes

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

SHA1: ee4da97956508150bffbd7e89f85d8faffcc4c2c
SHA256: 920e999d2da7d95e80dded80b7869a9896be14cb3d2bb2050163a2605efa71a1

Size: 1,895,764 bytes

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

SHA1: 8ffc76d1f2a5b6ae395b1ec6594a088cc8e9b09b
SHA256: 0383e69ac8b90603b41f4ac1dcc34cbc9631041be697b2b0715d22ad49868254

Size: 574,464 bytes

coq-theories (coq-theories_8.14.1+dfsg-1_amd64.deb)

SHA1: ffade92974feee644688f4b9837e7499e0c1c95c
SHA256: 4ad43f32380d74ede72e9fb7dc0314c7d50637cfdd136e9dae74b56d03f46cdb

Size: 21,755,304 bytes

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

SHA1: a30a07ab1b83864eda37c51d36ba0f00fec31f50
SHA256: 8d49e15d875a91bf02b0613bf977e237e99225e5bdbd82d9fb67571dc3c21d3e

Size: 22,302,180 bytes

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

SHA1: 5595fc1721ac8b3c89be13df213cc3ac332da672
SHA256: 09bd7ed5302ec1e3fd29e5dcaeca58be64626425af0627b359bd0f3d79d4a450

Size: 1,653,564 bytes

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

SHA1: a8d2ac77ad226fbba95c22e6fcb0ac5feab6cb71
SHA256: 841e2ccfe2ac8d1bf451af29a1d8417fc240ae8f54b8573b7c7f161d8b8f7dc2

Size: 38,866,400 bytes

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