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

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

SHA1: 6244f620bd70f2f246b14ad18910e08cbb32f010
SHA256: e635721dc92ac3039d64c5a49484be0346ca1a0f3f29d7aa81a3eb032df6a997

Size: 78,894,820 bytes

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

SHA1: 8d871194b8541704e68a0f50b8584b23673b5982
SHA256: 9e05452942635830f60b4c1cd609d5b22de9774ebc194a933c7ce8022a883b18

Size: 9,282,440 bytes

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

SHA1: 70e6f683fe71ed9079d3f6e8c64e911f0bdf3c99
SHA256: 9a0fe6171c72d762377fc38a3c15fdfda025ac68b05849e08f999d164fb969c2

Size: 1,893,820 bytes

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

SHA1: de04df14a39f47af2b0b5c341766a50b30487768
SHA256: 22a1ef28393a35f4e244ab0fedbda6b25c43bc1a532498678753eacfb71e749b

Size: 575,060 bytes

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

SHA1: 21e04eb274512fd1a55ec1118ae7df782cc754c4
SHA256: 5bfd58eea50f93bbab8478c0c193705eda217f47002e4a8c6e6edee257fe6c02

Size: 24,893,816 bytes

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

SHA1: d5eacc0945eaec6579f77ed6cfde5a2fe19275b6
SHA256: b8b624a903f8506ee2eff10e05df5c331a54ce65b1377c69fc645a0424450614

Size: 6,203,396 bytes

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

SHA1: 5495090e305045b18151513d7af5b25b07c23258
SHA256: 53f3bf3d942698d1c587153cc5e223ba2f04c942aaaf935fe6a049ea0bee5e07

Size: 1,855,880 bytes

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

SHA1: d7cc7b6eee6936d4bfb277b2821607a1fcd0f6ca
SHA256: 3ad8143ad7ceda79b9b19f0ddadeb701dd5a0a23cc5a145b05496c4d4712ab9d

Size: 57,553,644 bytes

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