[ Quellcode: coq ]
Paket: libcoq-core-ocaml-dev (9.1.0+dfsg-1)
Links für libcoq-core-ocaml-dev
Debian-Ressourcen:
Quellcode-Paket coq herunterladen:
Betreuer:
- Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
- Benjamin Barenblat (QS-Seite)
- Julien Puydt (QS-Seite)
- Ralf Treinen (QS-Seite)
- Stéphane Glondu (QS-Seite)
Externe Ressourcen:
- Homepage [coq.inria.fr]
Ähnliche Pakete:
Experimentelles Paket
Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.
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-core-ocaml-dev
|
|
|
|
-
- dep: libcompiler-libs-ocaml-dev-4b6d0 [amd64]
- Paket nicht verfügbar
-
- dep: libcompiler-libs-ocaml-dev-gxzm3 [arm64]
- Paket nicht verfügbar
-
- dep: libcompiler-libs-ocaml-dev-i4v37 [ppc64el]
- Paket nicht verfügbar
-
- dep: libcompiler-libs-ocaml-dev-tq1n2 [riscv64]
- Paket nicht verfügbar
-
- dep: libcompiler-libs-ocaml-dev-volk9 [s390x]
- Paket nicht verfügbar
-
- dep: libcoq-core-ocaml-3d0o2 [ppc64el]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-501i1 [s390x]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-9jks7 [riscv64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-qojm9 [arm64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rqof7 [amd64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libfindlib-ocaml-dev-8k3o3 [amd64]
- Paket nicht verfügbar
-
- dep: libfindlib-ocaml-dev-eitb4 [riscv64]
- Paket nicht verfügbar
-
- dep: libfindlib-ocaml-dev-itlb4 [ppc64el]
- Paket nicht verfügbar
-
- dep: libfindlib-ocaml-dev-svhk3 [s390x]
- Paket nicht verfügbar
-
- dep: libfindlib-ocaml-dev-vaiw6 [arm64]
- Paket nicht verfügbar
-
- dep: libstdlib-ocaml-dev-2d5j3 [s390x]
- Paket nicht verfügbar
-
- dep: libstdlib-ocaml-dev-m4xw9 [nicht s390x]
- Paket nicht verfügbar
-
- dep: libzarith-ocaml-dev-2ofb9 [s390x]
- Paket nicht verfügbar
-
- dep: libzarith-ocaml-dev-h79v1 [nicht s390x]
- Paket nicht verfügbar
-
- dep: ocaml-5.3.0
- Paket nicht verfügbar
libcoq-core-ocaml-dev herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 69.304,8 kB | 135.131,0 kB | [Liste der Dateien] |
| arm64 | 69.177,5 kB | 136.575,0 kB | [Liste der Dateien] |
| ppc64el | 69.997,3 kB | 145.717,0 kB | [Liste der Dateien] |
| riscv64 | 74.189,0 kB | 215.175,0 kB | [Liste der Dateien] |
| s390x | 68.781,7 kB | 132.826,0 kB | [Liste der Dateien] |