Binaries
SHA1: d1be901595232bcfff1ea4f65026c367221256fc
SHA256: 02f20642577b0cd18b74f21bae5beee84d55c9d19877d282548442be666575eb
Size: 13,587,072 bytes
coqide
(
coqide_8.6-2_i386.deb
)
SHA1: f3fce52aae524cdb1b979740274e6d33994f7757
SHA256: 6c6c51a1d2836ab930be6b71043f9cd937867c5845dbf04d04c8d3aeb082fe02
Size: 1,312,836 bytes
SHA1: dcd2f42362d03642448093959848194e9d51a7a7
SHA256: c0ef9bd6a0ebfe2a4de227da27bd7f9a6d43b60bcc42160178bc52756896774c
Size: 30,410,712 bytes
SHA1: 5b2cdbc0fa43f9599e977faf71fc440e63d7ffe4
SHA256: 6586c497a883dde8d5babc1ed72e5c90d1cb45dc32a0f7ee822897ed5c025f82
Size: 3,402,252 bytes
SHA1: 68def2cb20211844b57ee9d13a015ed3412efa39
SHA256: a49e04911f28ed09307574fee02a5ac3ccc07e1e64d4ccce998008979a6efe7d
Size: 13,325,738 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-2_i386.deb
SHA1: 785f80033353468bf4d87c509abfc12768fb9e72
Size: 79,012 bytes
libcoq-ocaml-dbgsym_8.6-2_i386.deb
SHA1: b108e530bf3f5544faed2f5409d668787b6f8fca
Size: 257,568 bytes
coqide-dbgsym_8.6-2_i386.deb
SHA1: 81932926fc94cdf06fe40d5c7ea271088fc65271
Size: 345,314 bytes
coq-theories-dbgsym_8.6-2_i386.deb
SHA1: b5c25120ec1301dc95d0b0413c78717bed5a82d2
Size: 844,312 bytes
coq-dbgsym_8.6-2_i386.deb
SHA1: 8c3f71e9b43a3f148281d3959a095ad0eaead432
Size: 1,305,166 bytes