Binaries
coq
(
coq_8.6-5_amd64.deb
)
SHA1: a1f1ce442b66e6f97371ba5e0d77c07aaf04c6f5
SHA256: 7a9b6d8a7f6a800ff2986f0ad7814718a7a85795b44d27a63265846e8d7df5c3
Size: 17,746,424 bytes
coqide
(
coqide_8.6-5_amd64.deb
)
SHA1: 2b38539c902a247669f4983a6c821c08a9bf75d4
SHA256: b23e204b729532029dd1105855d7318410c7657f682828a6e5983c661fe68b4b
Size: 1,604,472 bytes
SHA1: 1a04fdeebb6e33bdff168f767199f859409c62ad
SHA256: 90567d2e88e5b398a6d271894641b54824691802e8e00b589535663135200b7f
Size: 33,453,456 bytes
SHA1: 7071fbea2472d661223b02dd8d796bbb60893758
SHA256: 9d1bc40128d4ac4a48516426f08a269ccd783433b44e1b4c01cef6fc11f738e2
Size: 3,640,592 bytes
SHA1: 1e4dbe83074c3d82ee34db396be45848fec7d818
SHA256: df3ec5a999b99894a65d653e59fd01336651ab3c586680e6d84967a051cbae99
Size: 13,879,604 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb
SHA1: 432212b91175ad893dd5fb8edc8e69ac825b01a7
Size: 105,632 bytes
libcoq-ocaml-dbgsym_8.6-5_amd64.deb
SHA1: f4cf46ec9ffe0b57bde446e821feb746c9bd356e
Size: 375,616 bytes
coqide-dbgsym_8.6-5_amd64.deb
SHA1: b7c2ce951d891dd39a6d0861df89943150f0b448
Size: 449,400 bytes
coq-theories-dbgsym_8.6-5_amd64.deb
SHA1: c49a9923515f32fdabb60588e92d886610e0be18
Size: 827,984 bytes
coq-dbgsym_8.6-5_amd64.deb
SHA1: b8891c7dbe1bc860c3262c11f0119534c869881c
Size: 1,898,372 bytes