coqide
proof assistant for higher-order logic (gtk interface)
🌐 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 | 1.8 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 | coq (= 8.20.1+dfsg-1+b1), libc6 (>= 2.38), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.36.0), libgtk-3-0t64 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0) |
| Fornece (Provides) | — |
| Substitui (Replaces) | — |
| Conflita (Conflicts) | — |