Binaries
SHA1: 80d8801da04d2a2b35a1c1e3557fd7c3118bca32
SHA256: 30ae8bc7fa4504685849009f7df6a27ced38b5f851ac8985a0519606f11ea482
Size: 13,592,406 bytes
coqide
(
coqide_8.6-3_i386.deb
)
SHA1: 6ea69c1460f00079ba00e2e587d70e06531174f7
SHA256: c902ed514785bb37a0065ed13ee7b5955475653f7701d6271526a68ceface10a
Size: 1,313,042 bytes
SHA1: 98c891ad59dce0852cdc16158a4038074e44e4e8
SHA256: 4e2ba2896ab0f1700bc4f826a85d2cfe03b1cafab07d732a8ce66645f536b192
Size: 30,421,068 bytes
SHA1: fdeb135e38ebdda63e3b9b8ad6b9b7c39ac3dca2
SHA256: 8958fecb7bf44d4cf1bf0c4d8f3e2179f286e5506346ffccea0a8a55c9b39e60
Size: 3,401,364 bytes
SHA1: 668a1d1c0a5d585f02c38583d806c5740683cdb4
SHA256: a5f68112bcf9fda8825aa043a7ee09755990dc9ab09e7b644e00c1b3e5026e44
Size: 13,321,078 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-3_i386.deb
SHA1: 6d99cffb9272be2ab2a4bd2d735ff8daf7bf26bc
Size: 79,050 bytes
libcoq-ocaml-dbgsym_8.6-3_i386.deb
SHA1: ea8f98d7d3242d514cb20a4d26bff37c5f9f0698
Size: 257,126 bytes
coqide-dbgsym_8.6-3_i386.deb
SHA1: 40ec4af9935f21bf648312e6a2da8dfc88923537
Size: 345,362 bytes
coq-theories-dbgsym_8.6-3_i386.deb
SHA1: 5049ed7ebbf9a8cd131b902ba07ca25ebe539e36
Size: 843,250 bytes
coq-dbgsym_8.6-3_i386.deb
SHA1: a44447aa009d14c97f1a44eac525ffe98a35e487
Size: 1,299,568 bytes