Binaries
SHA1: 1daf4cdc602f424dea17e5d83885dd14d083902a
SHA256: 9e862e0a7f87bfbd33cac014e99b267c1bd7725f212ed76043b323a7eb680f71
Size: 13,587,436 bytes
coqide
(
coqide_8.6-4_i386.deb
)
SHA1: db5d9179e1c595e6cb335117dd4e738200ce9b94
SHA256: 470c28e2f44f3377c7ce8ad4b3c7a81e7c225b2deebe46ee302a20a5a475b660
Size: 1,313,528 bytes
SHA1: 2a62beb3d8a0002b5aab4114e2ce0f92ea521539
SHA256: 60b2161f1b0afa45b0e83fe3cdaa20b3002d6d729e141177a03c5b2ac358b60f
Size: 30,409,962 bytes
SHA1: 1426ccfef544243e41eef6013b43e72b1c43f608
SHA256: c20dec4feccddb16ee1c047395a9df0219a5a4d513a17865cba2ecaf1b7aeb84
Size: 3,405,310 bytes
SHA1: 077445117549215f418679a18ce6235ac327a656
SHA256: 228804235ab151a5f6e4dbcf30a2a380c56fba9c830058b098e0dcc0ba63fdb6
Size: 13,326,570 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb
SHA1: 059fbc737b1d4d2b6582d92c74c627b767db2106
Size: 79,212 bytes
libcoq-ocaml-dbgsym_8.6-4_i386.deb
SHA1: 82d7c8513c9febef6bcd4e41367f12190b9ea915
Size: 256,828 bytes
coqide-dbgsym_8.6-4_i386.deb
SHA1: c6a88f0412d082f6e6c6b64269a04c3361ddbad7
Size: 344,848 bytes
coq-theories-dbgsym_8.6-4_i386.deb
SHA1: ac6cba5f5c2dcd5c8797f3d9665edf2bbeb5934a
Size: 846,452 bytes
coq-dbgsym_8.6-4_i386.deb
SHA1: 7ad3b624708c522e6fa2f98eb57298566957370d
Size: 1,303,872 bytes