[ etiona ]
[ nabia ]
[ Paquet source : coq ]
Paquet : libcoq-ocaml (8.6-5build1)
Liens pour libcoq-ocaml
Ressources Trisquel :
Télécharger le paquet source coq :
Responsable :
Original Maintainers:
- Debian OCaml Maintainers (Archive du courrier électronique)
- Ralf Treinen
- Samuel Mimram
- Stéphane Glondu
- Enrico Tassi
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-ocaml
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- dep: liblablgtk2-ocaml-e0615 [i386]
- paquet virtuel fourni par liblablgtk2-ocaml
-
- dep: liblablgtk2-ocaml-il3k6 [amd64]
- paquet virtuel fourni par liblablgtk2-ocaml
-
- dep: liblablgtksourceview2-ocaml-l26k1 [i386]
- paquet virtuel fourni par liblablgtksourceview2-ocaml
-
- dep: liblablgtksourceview2-ocaml-rynx6 [amd64]
- paquet virtuel fourni par liblablgtksourceview2-ocaml
-
- dep: ocaml-base-nox-4.05.0
- paquet virtuel fourni par ocaml-base-nox
Télécharger libcoq-ocaml
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 3 481,1 ko | 15197 ko | [liste des fichiers] |
| i386 | 3 314,6 ko | 13906 ko | [liste des fichiers] |