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

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

SHA1: cfc3f90f34cf477756477922b1e2aa8bd0eb17e1
SHA256: 06c7861c905b2bf889860be32bb5d19b02cbd3465a01f6c1726e5dd9b42cb572

Size: 77,156,364 bytes

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

SHA1: a236ac1058f4af14efac861456e23168c3b3bae3
SHA256: 840d5c694c8d287191c92ac1c8a803efeee02c3192d7fdcfe79c14cb534a7a96

Size: 10,564,052 bytes

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

SHA1: ca1ce16f87e3b993142e64c77860fa610fb6efca
SHA256: 45d871457d5e608f961ddb31349b8fb246b7f2c4e93b25553cfdda8887048852

Size: 1,817,020 bytes

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

SHA1: 0c6531702e0563bc8a1f57850cd3c410059eef9b
SHA256: 1f1e18808b2640ac018bb1c7c2a4f8817adcc1bd6c04e36a2c9b23676194d032

Size: 709,160 bytes

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

SHA1: 93e796d0d03ac20762e66a06afe94cece55c0471
SHA256: c91ec94bd6d8ce6811e973e48292ce1ecfb1c3cca0acaad2e9240ec48da68867

Size: 22,398,780 bytes

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

SHA1: 1d53bd6e1727b3b5833ac5bcde310f38d8b8ed68
SHA256: eb8ec1bbee35e61a7139735efba1f9c42fa539417067bc257d6804becc5f897e

Size: 2,215,464 bytes

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

SHA1: 34b0eb7965eef5cd4bab319e07b2c8cf8ddeb959
SHA256: ba478fcda212225c2dc8a8611dc2527e5c7f258f63b88ee9ef723e50195513e7

Size: 44,140,528 bytes

libcoq-stdlib (libcoq-stdlib_8.18.0+dfsg-1_i386.deb)

SHA1: 3a543112eeadf15374c8e082fd44bcf83bdb9813
SHA256: f1575bc3b70db359f644d9e63d7da0f616e133444604a296b55470b6df010364

Size: 23,234,024 bytes

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