coq_8.6-4_i386.buildinfo — buildinfo.debian.net

coq (coq_8.6-4_i386.deb)

SHA1: 5097c86481381d8489015a8feda7e645841b210f
SHA256: 4b7862cfbbd9e0d160c5fb61c1984e756b3d3505e2e8976438532cf865a7bf12

Size: 13,588,416 bytes

coqide (coqide_8.6-4_i386.deb)

SHA1: ff100d2b87fd6c0a6b654e49a2ef4933c14d8e4c
SHA256: 85a642a48f74b67c577167fbf40d0a5c6199ba9c5fda3d6dccfbbbd344a5af61

Size: 1,313,144 bytes

coq-theories (coq-theories_8.6-4_i386.deb)

SHA1: f9502ba18ece9f70ca327456c4add0cc8ce03b80
SHA256: 1916a741f0fb3a17dc91d1457a67ceab98eb7dfbdd1fbdfae210545f49c974e2

Size: 30,409,474 bytes

libcoq-ocaml (libcoq-ocaml_8.6-4_i386.deb)

SHA1: 91ee5b6e093eae465393a8be5808ef60157a232d
SHA256: e40b4d6e84e239fe82888e032fa1021fbf3b1979096b75f553f1c80c1da6fab8

Size: 3,403,154 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_i386.deb)

SHA1: 4c3f8161017225d3595447f96018bd7571e04de4
SHA256: f905960601716b4f6cdd6cc39dda0f02ea71526add3d9db4d7d7f14b675bc0df

Size: 13,325,908 bytes

libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb

SHA1: 20ba406041bbedd5cd5d21392409321da28b36c8
Size: 79,148 bytes

libcoq-ocaml-dbgsym_8.6-4_i386.deb

SHA1: a482e5c8adec1d47ff8de3660b0bf6b7a74b1e4a
Size: 260,428 bytes

coqide-dbgsym_8.6-4_i386.deb

SHA1: c912f7fa23176df81500d1dccbdec2fd94cd56d4
Size: 344,854 bytes

coq-theories-dbgsym_8.6-4_i386.deb

SHA1: 12d8e6bca8ea0b2571496262c7a1fe1b021696cc
Size: 846,538 bytes

coq-dbgsym_8.6-4_i386.deb

SHA1: 8549bf1ebfafa7a18b794617c6bb936af543ced1
Size: 1,275,292 bytes

coq_8.6-4_i386.buildinfo (view)