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

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

SHA1: fa2c90e26c1b3603a29129c9431033ffe2096087
SHA256: 260dc20c179a9e13d7dfcbd7196217290303d0d788d3e549a02c92f0e088330e

Size: 78,463,624 bytes

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

SHA1: 68aa5c36fc4d1b1faca768b4f7aa715bc5e34c67
SHA256: 0da8bb877a4d6effd486ee15bdfb71bbcaaf9fc69f798adbe7db2af1a8ce5895

Size: 8,833,728 bytes

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

SHA1: d8c5929522de2ecfcb8dc1410668fd634942f84c
SHA256: e39607e8561670ee343a2957df52b10a366e3bea62e3e319e97e413d4d92a925

Size: 1,895,952 bytes

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

SHA1: c155c0e4905fb2b940e7598b544a64d6042f01d8
SHA256: 4eb90f7c81cefa13fa9a665dc182f327fa1a16d8f180e3a8fb1707ff743eaf7e

Size: 573,064 bytes

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

SHA1: c8974d7dca964ab59a72b35b9379d5906d041257
SHA256: 68ae60832e7543ff61d7bec42fb3f3409b7ae35d8976c41405fe1e76cdb65df7

Size: 21,752,736 bytes

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

SHA1: 1f1dcdc23d751c7231bab4ead7272b44d0a5940d
SHA256: 6468eff7f3f9d574eeb7b6a0029b6465233b6cd4a0322bf46a1ef72c5d8b350f

Size: 22,288,864 bytes

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

SHA1: 2cf599b615148768b7ed114e792ac3960e55dcd3
SHA256: 0b922ff1040a87794badb60f288bb97d9a2c106bd0fa85cd8130e5f33bf1136d

Size: 1,653,320 bytes

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

SHA1: 37b4208628a89c32f0df25fab28520cc3e98f234
SHA256: c849851c599a7b125c274fb3fe1fb428e5b344ed55251cbb7b4f44641f997c8f

Size: 38,850,484 bytes

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