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

[ Paquet source :  ]

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: coq (= 8.12.0-3+b3)

  outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)

• dep: libcairo2-ocaml-dev-56yq1

  Paquet indisponible

• dep: libcoq-ocaml-4s3g2

  paquet virtuel fourni par libcoq-ocaml

• dep: liblablgtk3-ocaml-dev-0kl61

  Paquet indisponible

• dep: liblablgtksourceview3-ocaml-dev-0eup3

  Paquet indisponible

• dep: libnum-ocaml-dev-3st20

  paquet virtuel fourni par libnum-ocaml-dev

• dep: ocaml-nox-4.11.1

  Paquet indisponible

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 ko	43 092,0 ko	[liste des fichiers]
hppa (portage non officiel)	8.12.0-3+b3	11 018,4 ko	43 103,0 ko	[liste des fichiers]
ia64 (portage non officiel)	8.12.0-3+b3	11 015,6 ko	43 092,0 ko	[liste des fichiers]
sh4 (portage non officiel)	8.12.0-3+b3	11 019,6 ko	43 103,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	8.12.0-3+b3	11 014,8 ko	43 092,0 ko	[liste des fichiers]
x32 (portage non officiel)	8.12.0-3+b3	11 018,4 ko	43 103,0 ko	[liste des fichiers]