coq_8.5-2_i386.buildinfo — buildinfo.debian.net

coq (coq_8.5-2_i386.deb)

SHA1: 9020b5111356adb8926116fe869a2daf8181d931
SHA256: 8075ce7b9522507c64cb210c3928802843651de459e7d2dc8941bd1e47b36e6d

Size: 13,320,732 bytes

coqide (coqide_8.5-2_i386.deb)

SHA1: 27ee3812df0bd7030e4a21b2cb8d4aa20e55665b
SHA256: 6c0ea7d5d74db6b2a5b0030b0dfe62490f42529a090a9c873cbd3720cb5361d5

Size: 1,190,808 bytes

coq-theories (coq-theories_8.5-2_i386.deb)

SHA1: 2e487c634c7d66cd2f9d27bae37a2927eb4567e4
SHA256: a79d1e225115ee5cc85fbab331f3b5a86b893e2b8fe510779f3cfd0ec79656cf

Size: 32,196,318 bytes

libcoq-ocaml (libcoq-ocaml_8.5-2_i386.deb)

SHA1: a79eb5bd82a958e2fe7adfcb4d73b87bd07c23b1
SHA256: 45ee590bf97fb5d83cdd84c8986e47c798caa2189e6f7df100bf26b1429a19bc

Size: 3,337,114 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_i386.deb)

SHA1: 239253773f3e423483584a57f07e58c25ff4b9f8
SHA256: 527d1d65badf139e78e902114fcaea0a8e249887335ff5b7a9f9307dadce67d4

Size: 13,473,794 bytes

libcoq-ocaml-dev-dbgsym_8.5-2_i386.deb

SHA1: 84f274cb86995b08ab8de323f36dddb5fdb5cfd6
Size: 81,952 bytes

libcoq-ocaml-dbgsym_8.5-2_i386.deb

SHA1: f31d92642ebfd20855db922401f6cdf1b1926c22
Size: 248,428 bytes

coqide-dbgsym_8.5-2_i386.deb

SHA1: 468a16142f4e3cc2feb5f9883621e20bb455d92a
Size: 334,430 bytes

coq-theories-dbgsym_8.5-2_i386.deb

SHA1: 7b517e13adec6f45d29cb91d8ac3ad30b4eb2915
Size: 860,920 bytes

coq-dbgsym_8.5-2_i386.deb

SHA1: 80434b43e68e9ceabb6f00038083857beded97b4
Size: 1,295,408 bytes

coq_8.5-2_i386.buildinfo (view)