Binaries
SHA1: 9dbd7a90dfb95b9be6526b7d3842e1bc07870bed
SHA256: 7419ddd09b892f38aa528609e07bd8b3e573eec49109402deac392fa19e891b8
Size: 13,588,342 bytes
coqide
(
coqide_8.6-4_i386.deb
)
SHA1: ada06c834a96746bedca950eccfca7d61160ae88
SHA256: 719b28f8f3ec118ddf346a81609a8064634bebc5e28041da3afc195b17d3a2e2
Size: 1,313,408 bytes
SHA1: 9b2d6b98c724d641929d18f8fb660035e4dbac35
SHA256: 62d2d7146506aa771877e7816783ebd0a5ecae037b0758ea65adb8a6efb1e342
Size: 30,402,668 bytes
SHA1: 46f22f31d86c6340127ebc30149721d307f79bb0
SHA256: 7b14905ab7269ddabf4ce7541a2c5e444c55550549f38a3774115096903b9588
Size: 3,401,326 bytes
SHA1: cd29ff0866d461d6105caeeb837119fafb7657f0
SHA256: 76fabcba2fe2917b0e34b3f63da3ab4fd78f67ef9a186320b489d163a3962bf2
Size: 13,324,052 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb
SHA1: 7eccd4737e75e4b7d03eacdfaedfda96ac418a79
Size: 78,990 bytes
libcoq-ocaml-dbgsym_8.6-4_i386.deb
SHA1: 98e2ec696375b4f17cb483706d73dc70a1826f25
Size: 258,074 bytes
coqide-dbgsym_8.6-4_i386.deb
SHA1: c73aa6b4d5084a6a6f185ef068048fd3c9654709
Size: 347,378 bytes
coq-theories-dbgsym_8.6-4_i386.deb
SHA1: f1174c18f4e94a5d882f285cac20c62703e0b072
Size: 843,016 bytes
coq-dbgsym_8.6-4_i386.deb
SHA1: c9903f7eaa373e38b9e049f7dc16ccf9d0317081
Size: 1,313,114 bytes