Binaries
coq
(
coq_8.6-4_amd64.deb
)
SHA1: 2a82708edba4a52930176789452aca5319273641
SHA256: 17f4480c51e27a1b56be7f265c20e1a8fad7ff2c2ab3744307e4cbbb53b8cb9a
Size: 13,952,134 bytes
coqide
(
coqide_8.6-4_amd64.deb
)
SHA1: 48e61fb71064972e7f5d3944395ae63690a061ab
SHA256: 91abd14c577acaaedd0c3d60e2017c1c8461b1b5e89f73c0494f91b459abfdee
Size: 1,404,096 bytes
SHA1: 5c61bf8a9415908b688a4997691163b534434525
SHA256: aa65ab72d973d6c1b298af646d3d8e7b4a917837f5693b697bf7542b641abbc8
Size: 31,440,242 bytes
SHA1: 89ecccd9f38fc83394e76bd4a4443b8390a419f0
SHA256: c70057d1bd398dc2fa07f0456b86c0eab3433c4676b2d801e68f8f15505aa761
Size: 3,500,748 bytes
SHA1: 2ba3b95f036dec0c9d2e7d90709964d3e14c9c14
SHA256: 39d5a38d3a2f3fea8e4842f018517be23ecc422e2b7b0cd316748712859014f0
Size: 13,282,248 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 066032a6a0d3b1f084a5e274022a6a1fcc12d685
Size: 81,854 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 9dbfd626c1508ca0655e9c7011f4f88b6cfe9d47
Size: 266,050 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 8145f95c8a26c88bb8d9a1c866749a4f65e34f00
Size: 367,984 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: f3c496670cfd7d4ff3e60504bb81a5029991188e
Size: 878,602 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 0b385fbab280e9237e2695f7535182d0a586d26a
Size: 1,386,018 bytes