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

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

SHA1: 1418d7238d1c324935bb457102d508d454a4c72c
SHA256: b042b37a9586f44d04cf5ff9e031df9c4a9f3fd09482cc8d6da3d9484d8e8f88

Size: 93,208,308 bytes

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

SHA1: e43f5693ab4e16d351e4edddd676a67a2c3d42f1
SHA256: f333681b3c4fb31b9745ae50e9f60a4bd115c7ad38373cd11765f2a429c21aa1

Size: 14,850,540 bytes

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

SHA1: 886388eb9289e803f628b8e4680a4ebfe30f3a8c
SHA256: f8fab3b5b295173dac3003d46bcba64f966de7ee1923cc962084ecd355e0454d

Size: 1,994,308 bytes

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

SHA1: fd1ce415e4b2c4806837d418d5b98123ce8b2b15
SHA256: f3f537c7cfe61fc5da34fe3c662001ee912945f92d17413b2447fac6ea363ddf

Size: 636,928 bytes

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

SHA1: 9756a20c5ae47f3905e3dd4eb92c09137240aac5
SHA256: 83c53d4084bc1ba6d5345dce175c46777690aa15f25604f0a54a49bf452f0c75

Size: 22,558,000 bytes

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

SHA1: eb9785acaa858617e3b49c369469086ac0320855
SHA256: 271daf8a1bd5a87d4d00cd45fe665788be679cbf9df9e4a80fb99d9bb660826b

Size: 2,145,204 bytes

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

SHA1: fd768128e78fb6964ca2aebdf2ac9ac0a0fa00d3
SHA256: 48130f4737f3f8296720f23fb002513ad497d8c199e7bad13289f5a68ac766ce

Size: 42,724,116 bytes

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

SHA1: 882ef8a3fec2dd94bc04b306cb345a14e0557095
SHA256: 2df93ce20ff90a223eb91203fdbfb649ab57d21450dd5a1ba71bbe4ee27b99c4

Size: 21,526,812 bytes

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