toutes les options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Paquet source : coq  ]

Paquet : libcoq-ocaml (8.6-4)

Liens pour libcoq-ocaml

Screenshot

Ressources Debian :

Télécharger le paquet source coq :

Responsables :

Ressources externes :

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-ocaml

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libcoq-ocaml

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 3 420,1 ko14 500,0 ko [liste des fichiers]
arm64 3 398,0 ko14 386,0 ko [liste des fichiers]
armel 3 433,3 ko13 643,0 ko [liste des fichiers]
armhf 3 481,0 ko13 123,0 ko [liste des fichiers]
i386 3 321,9 ko13 667,0 ko [liste des fichiers]
mips 2 319,3 ko9 073,0 ko [liste des fichiers]
mips64el 2 318,3 ko9 074,0 ko [liste des fichiers]
mipsel 2 318,7 ko9 073,0 ko [liste des fichiers]
ppc64el 2 318,5 ko9 112,0 ko [liste des fichiers]
s390x 2 319,9 ko9 080,0 ko [liste des fichiers]