packages
[ Paquet source : coq ]
Paquet : coq (8.15.0+dfsg-2) [universe]
Liens pour coq
Ressources Ubuntu :
Télécharger le paquet source coq :
Responsable :
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Archive du courrier électronique)
- Benjamin Barenblat
- Julien Puydt
- Ralf Treinen
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
Ressources externes :
- Page d'accueil [coq.inria.fr]
Paquets similaires :
proof assistant for higher-order logic (toplevel and compiler)
Autres paquets associés à coq
|
|
|
|
-
- dep: libc6 (>= 2.34) [riscv64]
- GNU C Library: Shared libraries
- dep: libc6 (>= 2.35) [non riscv64]
-
- dep: libcoq-core-ocaml-alg58 [riscv64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-aosg1 [amd64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-nf5u3 [ppc64el]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rt7d5 [arm64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-xt866 [s390x]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-zjlv3 [armhf]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-stdlib (= 8.15.0+dfsg-2)
- proof assistant for higher-order logic (theories)
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- Multiprecision arithmetic library
-
- dep: libzarith-ocaml-4dps0 [non armhf, s390x]
- paquet virtuel fourni par libzarith-ocaml
-
- dep: libzarith-ocaml-aip06 [armhf]
- paquet virtuel fourni par libzarith-ocaml
-
- dep: libzarith-ocaml-vtl52 [s390x]
- paquet virtuel fourni par libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- paquet virtuel fourni par ocaml-base
-
- dep: ocaml-findlib
- management tool for OCaml libraries
-
- dep: ocaml-nox
- transitional package for ocaml
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- sug: coq-doc
- documentation for Coq
-
- sug: coqide
- proof assistant for higher-order logic (gtk interface)
- ou proofgeneral
- generic frontend for proof assistants
-
- sug: ledit
- line editor for interactive programs
- ou readline-editor
- paquet virtuel fourni par ledit, rlfe, rlwrap
-
- sug: libcoq-core-ocaml-dev
- development libraries and tools for Coq
-
- sug: why (>= 2.19)
- Paquet indisponible
Télécharger coq
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 93 157,8 ko | 304 054,0 ko | [liste des fichiers] |
| arm64 | 104 213,9 ko | 340 701,0 ko | [liste des fichiers] |
| armhf | 91 064,4 ko | 250 947,0 ko | [liste des fichiers] |
| ppc64el | 95 985,7 ko | 322 518,0 ko | [liste des fichiers] |
| riscv64 | 92 714,9 ko | 305 719,0 ko | [liste des fichiers] |
| s390x | 94 912,7 ko | 321 835,0 ko | [liste des fichiers] |