coq
proof assistant for higher-order logic (toplevel and compiler)
🌐 Site do projeto: http://coq.inria.fr/
Versões por repositório
| Repositório | Versão | Arquitetura | Tamanho | Download |
|---|---|---|---|---|
Exu | 8.20.1+dfsg-1+b1 | amd64 | 67.0 MB | .deb |
Ogum | 9.2.0+dfsg-4 | amd64 | 39.4 MB | .deb |
Informações do pacote
| Seção | math |
|---|---|
| Prioridade | optional |
| Mantenedor | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Site do projeto (upstream) | <a href="http://coq.inria.fr/" rel="noopener">http://coq.inria.fr/</a> |
| Depende de | libcoq-stdlib (= 8.20.1+dfsg-1+b1), libcoq-core-ocaml-29kh7, libfindlib-ocaml-8k3o3, libstdlib-ocaml-m4xw9, libzarith-ocaml-h79v1, ocaml-base-5.3.0, python3:any, libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib |
| Fornece (Provides) | coq-8.20.1+5.3.0 |
| Substitui (Replaces) | coq-libs (<< 8.2.pl1) |
| Conflita (Conflicts) | — |