[ aramo ]
[ Paquet source : coq ]
Paquet : libcoq-core-ocaml (8.15.0+dfsg-2)
Liens pour libcoq-core-ocaml
Ressources Trisquel :
Télécharger le paquet source coq :
Responsable :
Original Maintainers:
- Debian OCaml Maintainers (Archive du courrier électronique)
- Benjamin Barenblat
- Julien Puydt
- Ralf Treinen
- Stéphane Glondu
Ressources externes :
- Page d'accueil [coq.inria.fr]
Paquets similaires :
runtime libraries for Coq
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
This package provides runtime libraries for Coq.
Autres paquets associés à libcoq-core-ocaml
|
|
|
-
- dep: libc6 (>= 2.4)
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libzarith-ocaml-4dps0
- paquet virtuel fourni par libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- paquet virtuel fourni par ocaml-base
-
- sug: ocaml-findlib
- management tool for OCaml libraries
Télécharger libcoq-core-ocaml
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 26 435,9 ko | 80483 ko | [liste des fichiers] |