[ aramo ]
[ Quellcode: coq ]
Paket: libcoq-core-ocaml (8.15.0+dfsg-2)
Links für libcoq-core-ocaml
Trisquel-Ressourcen:
Quellcode-Paket coq herunterladen:
Betreuer:
Original Maintainers:
- Debian OCaml Maintainers (E-Mail-Archiv)
- Benjamin Barenblat
- Julien Puydt
- Ralf Treinen
- Stéphane Glondu
Externe Ressourcen:
- Homepage [coq.inria.fr]
Ähnliche Pakete:
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-core-ocaml
|
|
|
-
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
- dep: libc6 (>= 2.4) [amd64, armhf]
-
- dep: libzarith-ocaml-4dps0 [nicht armhf]
- virtuelles Paket, bereitgestellt durch libzarith-ocaml
-
- dep: libzarith-ocaml-aip06 [armhf]
- virtuelles Paket, bereitgestellt durch libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- virtuelles Paket, bereitgestellt durch ocaml-base
-
- sug: ocaml-findlib
- management tool for OCaml libraries
libcoq-core-ocaml herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 26.435,9 kB | 80483 kB | [Liste der Dateien] |
| arm64 | 27.732,1 kB | 85593 kB | [Liste der Dateien] |
| armhf | 26.324,3 kB | 72104 kB | [Liste der Dateien] |
| ppc64el | 26.786,2 kB | 86448 kB | [Liste der Dateien] |