Binaries
coq
(
coq_8.6-5_arm64.deb
)
SHA1: bf35ed5cb64f38cc66a9b1e2dde7d3746502ed3d
SHA256: d612d87389056271014251775fb8b0d928f37e0fa5c8af3c17feea8eecb7545a
Size: 18,892,636 bytes
coqide
(
coqide_8.6-5_arm64.deb
)
SHA1: d4669cec9f101660edac6e5cde9b44d5cfc8d192
SHA256: 5163325fb6830bd5fe55ca15c6e84a6013130cc91a72e686b81081a24f2a3939
Size: 1,750,720 bytes
SHA1: bb0a3a657bf957667190e575e7df683037475326
SHA256: 7eec492c1a910293c3a7c021cf66a367ff3d66f3794749227c478daf8a15fec2
Size: 22,869,108 bytes
SHA1: 1886116e19479186a8ea89e63dc60d4a40cb4b3c
SHA256: 6fb9dd9b4cbb5728271798918f44c5aa02101155e538aa56c0831859d68b1c6d
Size: 3,828,184 bytes
SHA1: 2267ac7538081c1d9c77ab6ec9a5fdcc45235191
SHA256: c5c1ec11a3dba6df498d0c2f2de7f054a6ba4816067dd7d092fad2403c0795a3
Size: 14,085,108 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 7c69d38e9c6ab4977acb80d95d39a15430c173b1
Size: 107,440 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 89f06a9cd215cc59554d92523c78c040f16b31bc
Size: 337,772 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: e32e14f0915b4220eeaff0d05fce90d40ddeeeb6
Size: 493,848 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 46cb6435271291c3360999576ccac5dc41b8cfce
Size: 1,852,004 bytes