[ Paquet source : coq ]
Paquet : libcoq-core-ocaml-dev (8.20.1+dfsg-1 et autres)
Liens pour libcoq-core-ocaml-dev
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source coq :
Responsables :
- Debian OCaml Maintainers (Page QA, Archive du courrier électronique)
- Benjamin Barenblat (Page QA)
- Julien Puydt (Page QA)
- Ralf Treinen (Page QA)
- Stéphane Glondu (Page QA)
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.19.1+dfsg-3) [loong64, ppc64]
- outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
- dep: coq (= 8.20.1+dfsg-1) [non loong64, ppc64]
-
- dep: libcompiler-libs-ocaml-dev-lyzz3 [s390x]
- paquet virtuel fourni par libcompiler-libs-ocaml-dev
-
- dep: libcompiler-libs-ocaml-dev-p3pm2 [arm64]
- paquet virtuel fourni par libcompiler-libs-ocaml-dev
-
- dep: libcompiler-libs-ocaml-dev-pe0n8 [amd64]
- paquet virtuel fourni par libcompiler-libs-ocaml-dev
-
- dep: libcompiler-libs-ocaml-dev-xbok2 [riscv64]
- paquet virtuel fourni par libcompiler-libs-ocaml-dev
-
- dep: libcompiler-libs-ocaml-dev-ykur7 [ppc64el]
- paquet virtuel fourni par libcompiler-libs-ocaml-dev
-
- dep: libcoq-core-ocaml-7yf86 [s390x]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ajzi5 [arm64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-at3u5 [amd64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-d2hd1 [loong64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-k4nx1 [ppc64el]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-t2147 [riscv64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-yi844 [ppc64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libfindlib-ocaml-dev-5dit4 [arm64]
- paquet virtuel fourni par libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-9a346 [s390x]
- paquet virtuel fourni par libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-l8hb7 [ppc64]
- Paquet indisponible
-
- dep: libfindlib-ocaml-dev-o8mp7 [ppc64el]
- paquet virtuel fourni par libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-t0ap1 [loong64]
- Paquet indisponible
-
- dep: libfindlib-ocaml-dev-t4zk4 [riscv64]
- paquet virtuel fourni par libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-xdxk1 [amd64]
- paquet virtuel fourni par libfindlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-fxjy5 [non loong64, ppc64, s390x]
- paquet virtuel fourni par libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-gats1 [ppc64]
- Paquet indisponible
-
- dep: libstdlib-ocaml-dev-ke4j9 [s390x]
- paquet virtuel fourni par libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-vyp69 [loong64]
- Paquet indisponible
-
- dep: libzarith-ocaml-dev-avzf2 [ppc64]
- Paquet indisponible
-
- dep: libzarith-ocaml-dev-f1se9 [non loong64, ppc64, s390x]
- paquet virtuel fourni par libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-i2hh0 [s390x]
- paquet virtuel fourni par libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-zlfv4 [loong64]
- Paquet indisponible
-
- dep: ocaml-4.14.1 [loong64, ppc64]
- paquet virtuel fourni par ocaml
-
- dep: ocaml-5.3.0 [non loong64, ppc64]
- 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 | 67 112,9 ko | 131 128,0 ko | [liste des fichiers] |
| arm64 | 8.20.1+dfsg-1 | 66 979,4 ko | 132 349,0 ko | [liste des fichiers] |
| loong64 (portage non officiel) | 8.19.1+dfsg-3 | 47 971,7 ko | 253 103,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 8.19.1+dfsg-3 | 45 251,9 ko | 208 937,0 ko | [liste des fichiers] |
| ppc64el | 8.20.1+dfsg-1 | 67 724,2 ko | 141 247,0 ko | [liste des fichiers] |
| riscv64 | 8.20.1+dfsg-1 | 71 834,0 ko | 208 710,0 ko | [liste des fichiers] |
| s390x | 8.20.1+dfsg-1 | 66 624,6 ko | 128 874,0 ko | [liste des fichiers] |