[ Paquet source : coq ]
Paquet : libcoq-ocaml-dev (8.9.0-1)
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)
- Samuel Mimram (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: camlp5-ab0y9 [amd64, arm64]
- paquet virtuel fourni par camlp5
-
- dep: camlp5-cunr4 [armhf, i386]
- paquet virtuel fourni par camlp5
-
- dep: coq (= 8.9.0-1)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libcoq-ocaml-35sv0 [i386]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: libcoq-ocaml-fl0a8 [armhf]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: libcoq-ocaml-m8xw4 [amd64]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: libcoq-ocaml-yvk13 [arm64]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: ocaml-nox-4.05.0
- paquet virtuel fourni par ocaml-nox
Télécharger libcoq-ocaml-dev
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 13 382,8 ko | 69 541,0 ko | [liste des fichiers] |
| arm64 | 13 673,7 ko | 71 786,0 ko | [liste des fichiers] |
| armhf | 14 054,5 ko | 57 634,0 ko | [liste des fichiers] |
| i386 | 13 407,0 ko | 57 125,0 ko | [liste des fichiers] |