Binaries
coq
(
coq_8.6-4_amd64.deb
)
SHA1: 745ca7006b6bdfdf0f0792c7b8fb0c3049f99ef7
SHA256: 61fdac36fbfe933567e876a5771dd3881cc9ff0d4db86f1b6bc8e5c4cf0360b5
Size: 13,949,208 bytes
coqide
(
coqide_8.6-4_amd64.deb
)
SHA1: 678b9c0867d1519955bf72e4f0ace464b40ff669
SHA256: dbb5c72315a47bb94f0a362a8a71640857353c0728b82944a308e9f88205c504
Size: 1,405,482 bytes
SHA1: 80c9ee1d4ee0cf9d556f559cfc086ba591bd9e06
SHA256: 069049c6ee10e12dcf2512e22701e2d33df7d99782a23e0501482ee215e8cc89
Size: 31,457,008 bytes
SHA1: 959345cce6617fab0a6e24fc72340081f582f24a
SHA256: 1c38beda2784c66ba8a9b9f16464c7caf949616ca6971dc22bdc5c2b86cb3784
Size: 3,501,868 bytes
SHA1: a17fc393895d9d533aafc2da37c23f0d78a6a097
SHA256: ad738dfce7ab7a6c03170cff560367c37faddb5a2f572716172cabb4b2b2803d
Size: 13,289,298 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 99d1038917ca12864cf85ecaf82706c8d14d40c0
Size: 81,730 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: c8ee9f5b7b336b36fbd079bfca07c13382dd1744
Size: 266,668 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 764820bf7b11b2f1e8fd8ffe7ac478c5985e63b6
Size: 368,866 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 0e0d5f0dc9bc58e0c3d823ec7d2e80ed7deeb8a1
Size: 873,536 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: a867546dacf4bd412e45f45f21ee88fb283315da
Size: 1,374,454 bytes