Binaries
SHA1: 542cefbdb25df2e892af1e78e862b1a9650715e7
SHA256: f6c32b90394d8ef66058f0e2cbd30af18ffdbaaaeeb83d4d0732219bf446e2a9
Size: 13,594,984 bytes
coqide
(
coqide_8.6-4_i386.deb
)
SHA1: 2f8a74844d119398a7d8422a9ea66a4df4186ba3
SHA256: 83a7767650a97253ff67bbe9eede4fa1b89adbb6396fa498255e3525de1ae974
Size: 1,316,124 bytes
SHA1: a612ee097b55eeabc11550f9f46975e1c1e8d837
SHA256: 1c6b8388fa81d98453bcec8245de58a6d2f05a9c63ea83fa938ce4ce8419e469
Size: 30,391,708 bytes
SHA1: 120ebfb34aa7f589e6b6dd37d49ad70d66011863
SHA256: cd74229216007117be3c9878d49399c2da39827751a6b77f399c35d7c6755232
Size: 3,401,324 bytes
SHA1: 30227e296b33d3a7b21f37c4483516adf9b98ac0
SHA256: b0b31cc29b63194499ac20bff496c08f8df7494d00528b7034b9d6cb7bc90627
Size: 13,325,848 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb
SHA1: e2781bdf7f6bf9223e5daf7639d23cce6c611ce3
Size: 79,032 bytes
libcoq-ocaml-dbgsym_8.6-4_i386.deb
SHA1: 5b3396b26c7e90192a4f4904f09a75efe9c0f110
Size: 255,784 bytes
coqide-dbgsym_8.6-4_i386.deb
SHA1: 197b23fb51a388263d9d8400434ef627e9701a75
Size: 344,264 bytes
coq-theories-dbgsym_8.6-4_i386.deb
SHA1: bc89a6b9a458380d834072f6194b9c0e4e28dfc2
Size: 810,604 bytes
coq-dbgsym_8.6-4_i386.deb
SHA1: 3825aabc246b1e5dafe3207bd93cca6c4282f4b7
Size: 1,260,168 bytes