[ Paquet source : coq ]
Paquet : libcoq-ocaml-dev (8.12.0-3 et autres)
Liens pour libcoq-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)
- Ralf Treinen (Page QA)
- Stéphane Glondu (Page QA)
- Enrico Tassi (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-ocaml-dev
|
|
|
|
-
- dep: coq (= 8.12.0-3+b3)
- outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
-
- dep: libcairo2-ocaml-dev-56yq1 [armel, mips64el, mipsel]
- paquet virtuel fourni par libcairo2-ocaml-dev
-
- dep: libcairo2-ocaml-dev-5scl0 [armhf, i386]
- paquet virtuel fourni par libcairo2-ocaml-dev
-
- dep: libcairo2-ocaml-dev-vwag2 [amd64, arm64, ppc64el]
- paquet virtuel fourni par libcairo2-ocaml-dev
-
- dep: libcoq-ocaml-1fwg6 [ppc64el]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: libcoq-ocaml-4pem8 [arm64]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: libcoq-ocaml-4s3g2 [armel, mips64el, mipsel]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: libcoq-ocaml-otko2 [i386]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: libcoq-ocaml-xs455 [amd64]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: libcoq-ocaml-zuzr9 [armhf]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: liblablgtk3-ocaml-dev-0kl61 [armel, mips64el, mipsel]
- paquet virtuel fourni par liblablgtk3-ocaml-dev
-
- dep: liblablgtk3-ocaml-dev-hdqe0 [armhf, i386]
- paquet virtuel fourni par liblablgtk3-ocaml-dev
-
- dep: liblablgtk3-ocaml-dev-x0f80 [amd64, arm64, ppc64el]
- paquet virtuel fourni par liblablgtk3-ocaml-dev
-
- dep: liblablgtksourceview3-ocaml-dev-0eup3 [armel, mips64el, mipsel]
- paquet virtuel fourni par liblablgtksourceview3-ocaml-dev
-
- dep: liblablgtksourceview3-ocaml-dev-5j5o8 [amd64, arm64, ppc64el]
- paquet virtuel fourni par liblablgtksourceview3-ocaml-dev
-
- dep: liblablgtksourceview3-ocaml-dev-m95m5 [armhf, i386]
- paquet virtuel fourni par liblablgtksourceview3-ocaml-dev
-
- dep: libnum-ocaml-dev-3st20 [armel, mips64el, mipsel]
- paquet virtuel fourni par libnum-ocaml-dev
-
- dep: libnum-ocaml-dev-80ki3 [amd64, arm64, ppc64el]
- paquet virtuel fourni par libnum-ocaml-dev
-
- dep: libnum-ocaml-dev-hqq52 [armhf, i386]
- paquet virtuel fourni par libnum-ocaml-dev
-
- dep: ocaml-nox-4.11.1
- paquet virtuel fourni par ocaml-nox
Télécharger libcoq-ocaml-dev
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| amd64 | 8.12.0-3+b3 | 18 288,5 ko | 87 035,0 ko | [liste des fichiers] |
| arm64 | 8.12.0-3+b3 | 18 287,9 ko | 88 766,0 ko | [liste des fichiers] |
| armel | 8.12.0-3+b3 | 11 018,8 ko | 43 103,0 ko | [liste des fichiers] |
| armhf | 8.12.0-3+b3 | 18 745,4 ko | 76 624,0 ko | [liste des fichiers] |
| i386 | 8.12.0-3+b3 | 18 221,3 ko | 76 331,0 ko | [liste des fichiers] |
| mips64el | 8.12.0-3+b3 | 11 013,6 ko | 43 092,0 ko | [liste des fichiers] |
| mipsel | 8.12.0-3+b3 | 11 018,4 ko | 43 103,0 ko | [liste des fichiers] |
| ppc64el | 8.12.0-3+b3 | 18 952,9 ko | 95 957,0 ko | [liste des fichiers] |