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

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

SHA1: 733137da1434f22773613b18bde2566dacbcb00d
SHA256: af45b9192276d621bdb5018aeee48dd2b2aaa92e75189a7738b24a922508205e

Size: 74,762,868 bytes

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

SHA1: 1260f54f3b0e7fb1d40c53c490e23de5373df661
SHA256: 07ee1e2fadf2812630e7adfe7b527a9c4ecc3eda3680a0498aa194f0807140a5

Size: 8,766,484 bytes

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

SHA1: f3731ff29cd06f1471a41b530c13ee1f6944eeb3
SHA256: aa8c9bb398796dd7f7ae8c7064cef07b9512c4cc149b3b532c4aad93c6067683

Size: 1,742,888 bytes

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

SHA1: e796ccecae4ff67e0216aab0a1ecca89edab5b25
SHA256: e68fe5b9315cc44ccc5dc66e69b2210bcd56c32357f97e7ae7870d8d0d61e399

Size: 543,912 bytes

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

SHA1: 97cb3383748dc9de323c7de6098bd3c91c707d90
SHA256: 6738e71eb5bd328d2174a2fde39cd0ac0b51d50b8a618e3198831c0baac0d5aa

Size: 21,752,892 bytes

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

SHA1: 46daae12f0e8d824df080388009bd4f6bf38d92d
SHA256: 077c838cb2788bebd7bcab579722e94a45d08f7abe1775bbfd030af23915c0f7

Size: 21,649,428 bytes

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

SHA1: 35703c46eafc927edf4b9b9903d6a4ecc639b8bb
SHA256: 9ee4faa47a74b412ddca692c4e726ea8bf017148855bef2fde7ba85e4c889413

Size: 1,619,256 bytes

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

SHA1: 228e93dc32b249f2d4557fe470f2df4b87a58801
SHA256: 7aa4edf234019c299d68d7aafc41457b75930477d5fe650dd6a8ab843507c8ae

Size: 39,269,100 bytes

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