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

coq (coq_8.6-4_i386.deb)

SHA1: 9119ee0ff47d88d2b9400fba6b254784456bc5c3
SHA256: 6d49f7cd28789e0ebc500dcac72753309d894f668ef3ef364896fbb1150319a9

Size: 13,588,886 bytes

coqide (coqide_8.6-4_i386.deb)

SHA1: ad8436751d37420fbc89f4094f94e6ef63b4c8f3
SHA256: c9840c3504fbe08ca1ad49aa715fd994abd8f72a596088b4663ed575ae82f652

Size: 1,313,070 bytes

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

SHA1: 820cfb5012cffde70b37db601a9281713f619ac1
SHA256: 1da63cc15cd5213dcbb758c73af62e611a2d5ef7e3b7617be195d9f85187c8b3

Size: 30,405,972 bytes

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

SHA1: 93582d5e4e182c6ecae145665dec11920a8d79ca
SHA256: bd7a98eea949ff90cdd04e5b3af2b7ccaab2376b56b019851e1fabf459f6820a

Size: 3,401,844 bytes

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

SHA1: 1b23a3191b92fbcf8adfe2a6a7ec5fcdbd915018
SHA256: acac2c161f93a751ed9684150d843b584276fde7821f639a5418a147cbc2b00e

Size: 13,326,930 bytes

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

SHA1: a24eca443c9e8cd27a28ce9ae5d2ed2e66c738e3
Size: 79,104 bytes

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

SHA1: a2e6ca8fcbfd3a59a6424672aaa1e1dc146fa18f
Size: 257,292 bytes

coqide-dbgsym_8.6-4_i386.deb

SHA1: fa6bb8dd9ab3a856bcf7c1c69e675bb620b72885
Size: 345,158 bytes

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

SHA1: 4592c85c5c8afc14ecfea35410a5b89aeea89bce
Size: 846,984 bytes

coq-dbgsym_8.6-4_i386.deb

SHA1: fd9db07145c3c007213a621ef03b03eabb6dcca7
Size: 1,310,954 bytes

coq_8.6-4_i386.buildinfo (view)