packages
[ Paquet source : coq ]
Paquet : libcoq-core-ocaml-dev (8.20.1+dfsg-1build1) [universe]
Liens pour libcoq-core-ocaml-dev
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 :
development libraries and tools for Coq
Autres paquets associés à libcoq-core-ocaml-dev
|
|
|
|
-
- dep: coq (= 8.20.1+dfsg-1build1)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libcompiler-libs-ocaml-dev-19dg7
- paquet virtuel fourni par libcompiler-libs-ocaml-dev
-
- dep: libcoq-core-ocaml-ub9d2
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libfindlib-ocaml-dev-8ve55
- paquet virtuel fourni par libfindlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9
- paquet virtuel fourni par libstdlib-ocaml-dev
-
- dep: libzarith-ocaml-dev-h79v1
- paquet virtuel fourni par libzarith-ocaml-dev
-
- dep: ocaml-5.3.0
- paquet virtuel fourni par ocaml
Télécharger libcoq-core-ocaml-dev
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| arm64 | 67 982,9 ko | 132 329,0 ko | [liste des fichiers] |