eLxr packages [ bianca ]
[ Paquet source : coq ]
Paquet : libcoq-core-ocaml-dev (8.20.1+dfsg-1 et autres)
Liens pour libcoq-core-ocaml-dev
Télécharger le paquet source coq :
Responsables :
Ressources externes :
- Page d'accueil [coq.inria.fr]
Paquets similaires :
development libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
Autres paquets associés à libcoq-core-ocaml-dev
|
|
|
|
-
- dep: coq (= 8.20.1+dfsg-1+b1)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libcompiler-libs-ocaml-dev-4b6d0 [amd64]
- paquet virtuel fourni par libcompiler-libs-ocaml-dev
-
- dep: libcompiler-libs-ocaml-dev-gxzm3 [arm64]
- paquet virtuel fourni par libcompiler-libs-ocaml-dev
-
- dep: libcoq-core-ocaml-29kh7 [amd64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ub9d2 [arm64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libfindlib-ocaml-dev-8k3o3 [amd64]
- paquet virtuel fourni par libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-vaiw6 [arm64]
- 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 | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| amd64 | 8.20.1+dfsg-1+b1 | 67 090,0 ko | 131 100,0 ko | [liste des fichiers] |
| arm64 | 8.20.1+dfsg-1+b1 | 66 962,1 ko | 132 321,0 ko | [liste des fichiers] |