Binaries
SHA1: 69b004449dbbadfccdc9a533620f044a64970ece
SHA256: 63b13051314732da5d54de6d38d8b4a3982b889deb08c52971f3c7a470958e37
Size: 13,589,622 bytes
coqide
(
coqide_8.6-2_i386.deb
)
SHA1: a361e19c1e26e5cf2cef0163fc318bfa93554d99
SHA256: 69f557d78a4cfd262687919212058c0489645751bbc677877b4c30107e9880e9
Size: 1,313,158 bytes
SHA1: 7f0b2903ead6e8ce823ce02c3177d1fd61cd2d14
SHA256: 0f9d08cff76c3ee16c7edb6f89f9b99e668ba2ec3faa0dce05324b4710ee8375
Size: 30,394,850 bytes
SHA1: a2286adc2b0895c690b3ae55522326fa4d38d00f
SHA256: f750e66052da0f6e108f4cdc9c412a90eae8c7bd974d97f9b54b1788b63aede9
Size: 3,402,660 bytes
SHA1: 0d49a6c425296c3e51cfd20d93964d4a7aa71ec2
SHA256: 64ce5aa2532398ba30f1ad37e5c2a1d9c3f6b364e7a689f0f6658d74d6f96c6b
Size: 13,320,206 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-2_i386.deb
SHA1: 04a7b346be0c9948079713650f675837d6582efd
Size: 79,148 bytes
libcoq-ocaml-dbgsym_8.6-2_i386.deb
SHA1: 1b0034d52be9bfa1980cf8461df0585e81da58d9
Size: 257,882 bytes
coqide-dbgsym_8.6-2_i386.deb
SHA1: 749c05eb722f5cb1c63c879335ad8a2169c9815a
Size: 347,522 bytes
coq-theories-dbgsym_8.6-2_i386.deb
SHA1: 5bb5634120956ea810e635f41a58d0b0c24fbf44
Size: 845,688 bytes
coq-dbgsym_8.6-2_i386.deb
SHA1: 42c2fae0a15aa2461ad97edfa3507593f894547c
Size: 1,316,854 bytes