Paquet : libcoq-core-ocaml (8.19.1+dfsg-1)

Liens pour libcoq-core-ocaml

Ressources Debian :

Télécharger le paquet source coq :

Responsables :

Ressources externes :

Page d'accueil [coq.inria.fr]

Paquets similaires :

bibliothèques d'exécution pour Coq

Coq est un assistant de preuve pour la logique d'ordre supérieur, qui permet le développement de programmes d'ordinateur correspondant à une spécification formelle. Il est développé en Objective Caml et Camlp5.

Ce paquet fournit les bibliothèques d'exécution pour Coq.

Autres paquets associés à libcoq-core-ocaml

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.17)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libfindlib-ocaml-ift94

paquet virtuel fourni par libfindlib-ocaml
dep: libstdlib-ocaml-fyga0

paquet virtuel fourni par libstdlib-ocaml
dep: libzarith-ocaml-zlfv4

paquet virtuel fourni par libzarith-ocaml
dep: ocaml-base-4.14.1

paquet virtuel fourni par ocaml-base

sug: ocaml-findlib

management tool for OCaml libraries

Télécharger libcoq-core-ocaml

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
arm64	23 423,1 ko	91 145,0 ko	[liste des fichiers]