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

Links für libcoq-ocaml

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Externe Ressourcen:

Homepage [coq.inria.fr]

runtime libraries 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 runtime libraries for Coq.

Andere Pakete mit Bezug zu libcoq-ocaml

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.16)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libcairo2-ocaml-56yq1

Paket nicht verfügbar
dep: liblablgtk3-ocaml-0kl61

Paket nicht verfügbar
dep: liblablgtksourceview3-ocaml-0eup3

Paket nicht verfügbar
dep: libnum-ocaml-3st20

virtuelles Paket, bereitgestellt durch libnum-ocaml
dep: ocaml-base-nox-4.11.1

Paket nicht verfügbar

libcoq-ocaml herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
x32 (inoffizielle Portierung)	8.12.0-3+b3	5.333,5 kB	22.947,0 kB	[Liste der Dateien]