Paket: libcoq-ocaml (8.9.0-1)

Links für libcoq-ocaml

Debian-Ressourcen:

Quellcode-Paket coq herunterladen:

Betreuer:

Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
Benjamin Barenblat (QS-Seite)
Ralf Treinen (QS-Seite)
Samuel Mimram (QS-Seite)
Stéphane Glondu (QS-Seite)
Enrico Tassi (QS-Seite)

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.

Markierungen: Rolle: Laufzeit-Bibliothek

Andere Pakete mit Bezug zu libcoq-ocaml

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.17)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: ocaml-base-nox-4.05.0

virtuelles Paket, bereitgestellt durch ocaml-base-nox

libcoq-ocaml herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
arm64	5.667,7 kB	25.519,0 kB	[Liste der Dateien]