Binaries
coq
(
coq_8.9.1-5_amd64.deb
)
SHA1: b61d768a528ef96b2f6c2072352564a270e4b251
SHA256: 6c9ad30420f317d8ac523c78fac1bcfe8bcefa97b652acba42c1d57ec2c50fd8
Size: 70,364,648 bytes
coqide
(
coqide_8.9.1-5_amd64.deb
)
SHA1: 19bd698fccffe91d10223ba1ff173baf1f640af3
SHA256: 9ccbd488f9eafd4e097c1e005839d2f77acb3ff00d6c1d4c7cfb311fda8e2321
Size: 1,859,296 bytes
SHA1: 0044b21fafb6f4119bb11a11849ff3c1440a651e
SHA256: 06fb1b2e4db7b142c3bf81214b0f17869b11f4430f58d67ae6af2c4eb5c0c274
Size: 30,163,492 bytes
SHA1: b0361652627e0262a3edc914460eb129aaf6c55a
SHA256: db2b9943a1378297a775511241bc66a66e94181fc63652b4c984878595b02afa
Size: 5,679,268 bytes
SHA1: b29351159134373096ff0476cc40b1e5bea9deb0
SHA256: 2c8492937ab7f679f810be932806c12f437af1d46f880a9359431b5fbcc12ce7
Size: 15,107,752 bytes
Other checksums
libcoq-ocaml-dbgsym_8.9.1-5_amd64.deb
SHA1: 6105d9eba11f09294443c0bda5ee96b0144a0639
Size: 571,152 bytes
coqide-dbgsym_8.9.1-5_amd64.deb
SHA1: 6f329e591b722f81cee73ba4bae483a68dfc2a7a
Size: 500,332 bytes
coq-theories-dbgsym_8.9.1-5_amd64.deb
SHA1: 67b591ed0c2129b03185d960a5b39caad2f9d3a7
Size: 770,060 bytes
coq-dbgsym_8.9.1-5_amd64.deb
SHA1: deeec32029d1c6977a11aace9f854b0d5ed65693
Size: 5,659,484 bytes