Binaries
coq
(
coq_8.6-4_amd64.deb
)
SHA1: d3f55d2feaf099bc95d900f41c52ae55dc265082
SHA256: bf52d29881022509384435f894b48e873b20c4c0888a5429283cdc114e77d797
Size: 13,951,692 bytes
coqide
(
coqide_8.6-4_amd64.deb
)
SHA1: 2433d7491a5b534b0ccd98e650c50060c6a506b3
SHA256: 96b362ad8e23864e6d1d39c984c9bc3280dd68c6574024dd8ffaeaad6e792b8f
Size: 1,406,374 bytes
SHA1: 0a9630f870fae27c4c8b9dfa74f14c646ca3f4d6
SHA256: 7d565da0f4185fb21fd996f0e35e220386435949cc0dc857114c8416618a26f1
Size: 31,456,340 bytes
SHA1: 350358f6a8468e8c92127328c54feade880c65e7
SHA256: 17cd615255a90ee7dea4dd9639b4387ed7a6c9a9c27a32a71511ab55278c6693
Size: 3,502,232 bytes
SHA1: 9f01e7993b42c6b76059587ed0dff898cf849b65
SHA256: 2ae4f45247043a576103386dc3c3c750dc31dfd941a4775e5ff38a2ba925b144
Size: 13,284,832 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 3eec093c911ba3924f489d7eb35df97f25210053
Size: 81,500 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: ba6ad4fc01cf79dbc766ff12d1b974524cf880f4
Size: 266,194 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 24f95ba6ecb11ea7421852ed267ed6d0482aad48
Size: 365,944 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 872ce29273f44b3316a4523d05260a9849bf6e7f
Size: 874,466 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: f2be9d992b64c686bcc65f71e266f57d36dea592
Size: 1,364,496 bytes