Binaries
coq
(
coq_8.6-5_arm64.deb
)
SHA1: bd80d46f7867d7d23085749497c876f32a52240c
SHA256: 4d1386992ebf85f20d8afedfdddb619fac17a586f1e6aeca3fdbe0e2477d6c4f
Size: 18,907,212 bytes
coqide
(
coqide_8.6-5_arm64.deb
)
SHA1: b37512949888af4a0fa5119b6c5669fdfd100eb3
SHA256: 2ec5caab3ceb913fb1b6346435962826c8905f5b4d5366a11b746256c72625e2
Size: 1,752,360 bytes
SHA1: 2d78281215ed0c02329a84cccfc257f6fefbb4ff
SHA256: 69c45107fe404efd8706df0232d4537259e312643139a84ea2c0a84cddfbf059
Size: 22,870,012 bytes
SHA1: e8969de4c9f9451c6c25dfe662ea8e1f5635d3d1
SHA256: 2de40e32ef80ce2521997ec870d2cc0ff8ce805aecda0b8d99574f15d9a61742
Size: 3,826,224 bytes
SHA1: fd7403b719326728837379a71fafcf313b09f838
SHA256: 36b8fcbe1f3ac21c9ba9d10bb09f26061330e1ffe31f6577ad87b62a11bb6f06
Size: 14,086,032 bytes
Other checksums
libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 841608f560fc0d915c2ce9db32e0c7623a756b49
Size: 107,764 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 501a4bc7e95164b8810ae252e2a63ea5ee5e8189
Size: 341,676 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: e3a8496948da716218fabafc289392d7b13117f3
Size: 491,660 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: d0adbf90d5bd98071cbd750ade4f316257d07c23
Size: 1,857,836 bytes