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

coq (coq_8.6-4_i386.deb)

SHA1: 0b308f718e34665d67b5500df0fcaa6be0f9d022
SHA256: 3ace4e56cdd54b620e4359a33246fcd8018a92f95600fb749dd9dd5e23b92183

Size: 13,589,706 bytes

coqide (coqide_8.6-4_i386.deb)

SHA1: 178992e5ca1b9f0b3623a0d43f8ef7c6d138f8f0
SHA256: ff63f97889cf3d36ddfe4db679e346f2ce8db19312bb3f4f3dea84e9c636c23c

Size: 1,312,950 bytes

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

SHA1: 27090120dd69efc5ba3220961334ddcae3c60cc3
SHA256: 24c80d81e2a407e66dda9e2f19d365414493eb4ea8bf3674db30dc7f4c8d129c

Size: 30,405,982 bytes

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

SHA1: 429a12d3a0a7fc82086c7ca03d7f24040b05e117
SHA256: 75d2385e6f741e217d8798c05cf044e8d250df5ed23b2b647af66b3b65edc096

Size: 3,402,476 bytes

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

SHA1: 75ee63bf6ebd6aa929888b716b0d14eb2c177d7f
SHA256: 6b6e9d78c2fdb7d9989d7b6a7d77aefd2dcaa3a516dce4c1532473e9029164ad

Size: 13,326,352 bytes

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

SHA1: db60dbef1c369c5d040ea57cc922b537123f2e49
Size: 79,234 bytes

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

SHA1: 2028f3614c10da7063f6498463a3793bb044a24e
Size: 259,020 bytes

coqide-dbgsym_8.6-4_i386.deb

SHA1: 939814a5bd3bccbca3f33fb98aa58a449f1c2eb2
Size: 346,178 bytes

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

SHA1: a9bf8d8bef988d1eac1478db209d94bf5d2acfd2
Size: 846,750 bytes

coq-dbgsym_8.6-4_i386.deb

SHA1: 209c74bdb58a2c4465f5bc43bafe34d8a21038f0
Size: 1,306,510 bytes

coq_8.6-4_i386.buildinfo (view)