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

Paquet : libcoq-ocaml-dev (8.12.0-3 et autres)

Liens pour libcoq-ocaml-dev

Screenshot

Ressources Debian :

Télécharger le paquet source coq :

Responsables :

Ressources externes :

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.

Étiquettes: Développement de logiciel: Bibliothèques, Rôle: Bibliothèque de programmation

Autres paquets associés à libcoq-ocaml-dev

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libcoq-ocaml-dev

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 8.12.0-3+b3 11 015,9 ko43 092,0 ko [liste des fichiers]
amd64 8.12.0-3+b3 18 288,5 ko87 035,0 ko [liste des fichiers]
arm64 8.12.0-3+b3 18 287,9 ko88 766,0 ko [liste des fichiers]
armel 8.12.0-3+b3 11 018,8 ko43 103,0 ko [liste des fichiers]
armhf 8.12.0-3+b3 18 745,4 ko76 624,0 ko [liste des fichiers]
hppa (portage non officiel) 8.12.0-3+b3 11 018,4 ko43 103,0 ko [liste des fichiers]
i386 8.12.0-3+b3 18 221,3 ko76 331,0 ko [liste des fichiers]
ia64 (portage non officiel) 8.12.0-3+b3 11 015,6 ko43 092,0 ko [liste des fichiers]
mips64el 8.12.0-3+b3 11 013,6 ko43 092,0 ko [liste des fichiers]
mipsel 8.12.0-3+b3 11 018,4 ko43 103,0 ko [liste des fichiers]
ppc64 (portage non officiel) 8.12.0-3+b3 18 884,5 ko96 705,0 ko [liste des fichiers]
ppc64el 8.12.0-3+b3 18 952,9 ko95 957,0 ko [liste des fichiers]
riscv64 (portage non officiel) 8.12.0-3+b3 21 076,2 ko136 211,0 ko [liste des fichiers]
sh4 (portage non officiel) 8.12.0-3+b3 11 019,6 ko43 103,0 ko [liste des fichiers]
sparc64 (portage non officiel) 8.12.0-3+b3 11 014,8 ko43 092,0 ko [liste des fichiers]
x32 (portage non officiel) 8.12.0-3+b3 11 018,4 ko43 103,0 ko [liste des fichiers]