eLxr packages [ bianca ]
[ Paquet source : coq ]
Paquet : libcoq-core-ocaml (8.20.1+dfsg-1 et autres)
Liens pour libcoq-core-ocaml
Télécharger le paquet source coq :
Responsables :
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.3)
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libfindlib-ocaml-8k3o3
- paquet virtuel fourni par libfindlib-ocaml
-
- dep: libstdlib-ocaml-m4xw9
- paquet virtuel fourni par libstdlib-ocaml
-
- dep: libzarith-ocaml-h79v1
- paquet virtuel fourni par libzarith-ocaml
-
- dep: ocaml-base-5.3.0
- paquet virtuel fourni par ocaml-base
-
- sug: ocaml-findlib
- management tool for OCaml libraries
Télécharger libcoq-core-ocaml
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| amd64 | 8.20.1+dfsg-1+b1 | 25 347,4 ko | 59 789,0 ko | [liste des fichiers] |