[ Quellcode: coq ]
Paket: libcoq-core-ocaml-dev (8.20.0+dfsg-1 und andere)
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:
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: coq (= 8.19.1+dfsg-3) [ppc64]
- Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
- dep: coq (= 8.20.0+dfsg-1) [nicht ppc64]
-
- dep: libcompiler-libs-ocaml-dev-5xmf0 [riscv64]
- virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev
-
- dep: libcompiler-libs-ocaml-dev-lw6m5 [arm64]
- virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev
-
- dep: libcompiler-libs-ocaml-dev-pk9f4 [s390x]
- virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev
-
- dep: libcompiler-libs-ocaml-dev-uuii4 [ppc64el]
- virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev
-
- dep: libcompiler-libs-ocaml-dev-y3249 [amd64]
- virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev
-
- dep: libcoq-core-ocaml-1ioh9 [amd64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cg6v5 [riscv64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-sa2u3 [arm64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-yi844 [ppc64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-zmgk8 [s390x]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-zsxq8 [ppc64el]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libfindlib-ocaml-dev-0ne56 [amd64]
- virtuelles Paket, bereitgestellt durch libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-7zo87 [s390x]
- virtuelles Paket, bereitgestellt durch libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-9l3r6 [riscv64]
- virtuelles Paket, bereitgestellt durch libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-huq36 [ppc64el]
- virtuelles Paket, bereitgestellt durch libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-l8hb7 [ppc64]
- Paket nicht verfügbar
-
- dep: libfindlib-ocaml-dev-s9ic8 [arm64]
- virtuelles Paket, bereitgestellt durch libfindlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-0d647 [arm64]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-2a614 [ppc64el]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-7l663 [amd64]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-gats1 [ppc64]
- Paket nicht verfügbar
-
- dep: libstdlib-ocaml-dev-r1af2 [s390x]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-vvst5 [riscv64]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
-
- dep: libzarith-ocaml-dev-avzf2 [ppc64]
- Paket nicht verfügbar
-
- dep: libzarith-ocaml-dev-lfk68 [s390x]
- virtuelles Paket, bereitgestellt durch libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-mtsj7 [nicht ppc64, s390x]
- virtuelles Paket, bereitgestellt durch libzarith-ocaml-dev
-
- dep: ocaml-4.14.1 [ppc64]
- virtuelles Paket, bereitgestellt durch ocaml
-
- dep: ocaml-5.2.0 [nicht ppc64]
- virtuelles Paket, bereitgestellt durch ocaml
libcoq-core-ocaml-dev herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| amd64 | 8.20.0+dfsg-1 | 67.757,0 kB | 131.765,0 kB | [Liste der Dateien] |
| arm64 | 8.20.0+dfsg-1 | 67.591,0 kB | 133.000,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 8.19.1+dfsg-3 | 45.251,9 kB | 208.937,0 kB | [Liste der Dateien] |
| ppc64el | 8.20.0+dfsg-1 | 68.354,1 kB | 141.885,0 kB | [Liste der Dateien] |
| riscv64 | 8.20.0+dfsg-1 | 72.460,0 kB | 209.340,0 kB | [Liste der Dateien] |
| s390x | 8.20.0+dfsg-1 | 67.234,1 kB | 129.510,0 kB | [Liste der Dateien] |