Paket: libcoq-ocaml-dev (8.12.0-3 und andere) [debports]

[ Quellcode:  ]

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.

Andere Pakete mit Bezug zu libcoq-ocaml-dev

• dep: coq (= 8.12.0-3+b3)

  Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)

• dep: libcairo2-ocaml-dev-56yq1

  Paket nicht verfügbar

• dep: libcoq-ocaml-4s3g2

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

• dep: liblablgtk3-ocaml-dev-0kl61

  Paket nicht verfügbar

• dep: liblablgtksourceview3-ocaml-dev-0eup3

  Paket nicht verfügbar

• dep: libnum-ocaml-dev-3st20

  virtuelles Paket, bereitgestellt durch libnum-ocaml-dev

• dep: ocaml-nox-4.11.1

  Paket nicht verfügbar

libcoq-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	8.12.0-3+b3	11.015,9 kB	43.092,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	8.12.0-3+b3	11.018,4 kB	43.103,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	8.12.0-3+b3	11.015,6 kB	43.092,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	8.12.0-3+b3	11.019,6 kB	43.103,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	8.12.0-3+b3	11.014,8 kB	43.092,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	8.12.0-3+b3	11.018,4 kB	43.103,0 kB	[Liste der Dateien]