Paket: libcoq-ocaml-dev (8.6-5build1)

Links für libcoq-ocaml-dev

Trisquel-Ressourcen:

Quellcode-Paket coq herunterladen:

Betreuer:

Debian OCaml Maintainers (E-Mail-Archiv)

Original Maintainers:

Debian OCaml Maintainers (E-Mail-Archiv)
Ralf Treinen
Samuel Mimram
Stéphane Glondu
Enrico Tassi

Externe Ressourcen:

Homepage [coq.inria.fr]

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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.

Andere Pakete mit Bezug zu libcoq-ocaml-dev

hängt ab von

empfiehlt

schlägt vor

dep: camlp5-bskq5 [i386]

virtuelles Paket, bereitgestellt durch camlp5
dep: camlp5-ps9p6 [amd64]

virtuelles Paket, bereitgestellt durch camlp5
dep: coq (= 8.6-5build1)

proof assistant for higher-order logic (toplevel and compiler)
dep: libc6 (>= 2.17)

GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libcoq-ocaml-6pjp3 [i386]

virtuelles Paket, bereitgestellt durch libcoq-ocaml
dep: libcoq-ocaml-ywd98 [amd64]

virtuelles Paket, bereitgestellt durch libcoq-ocaml
dep: liblablgtk2-ocaml-dev-e0615 [i386]

virtuelles Paket, bereitgestellt durch liblablgtk2-ocaml-dev
dep: liblablgtk2-ocaml-dev-il3k6 [amd64]

virtuelles Paket, bereitgestellt durch liblablgtk2-ocaml-dev
dep: liblablgtksourceview2-ocaml-dev-l26k1 [i386]

virtuelles Paket, bereitgestellt durch liblablgtksourceview2-ocaml-dev
dep: liblablgtksourceview2-ocaml-dev-rynx6 [amd64]

virtuelles Paket, bereitgestellt durch liblablgtksourceview2-ocaml-dev
dep: ocaml-nox-4.05.0

virtuelles Paket, bereitgestellt durch ocaml-nox

libcoq-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	13.491,4 kB	64035 kB	[Liste der Dateien]
i386	13.472,7 kB	53933 kB	[Liste der Dateien]

Sections