[ Paquet source : coq ]
Paquet : libcoq-core-ocaml-dev (8.16.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.16.1+dfsg-1+b2)
- outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
-
- dep: libcoq-core-ocaml-cpf60
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libfindlib-ocaml-dev-0thr1
- paquet virtuel fourni par libfindlib-ocaml-dev
-
- dep: libzarith-ocaml-dev-4dps0
- paquet virtuel fourni par libzarith-ocaml-dev
-
- dep: ocaml-4.13.1
- 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.16.1+dfsg-1+b2 | 41 724,0 ko | 186 762,0 ko | [liste des fichiers] |