[ Quellcode: coq ]
Paket: libcoq-ocaml (8.12.0-3 und andere)
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)
- Stéphane Glondu (QS-Seite)
- Enrico Tassi (QS-Seite)
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-ocaml
|
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.2) [mips64el, mipsel]
- dep: libc6 (>= 2.2.5) [amd64]
- dep: libc6 (>= 2.4) [armel, armhf]
-
- dep: libcairo2-ocaml-56yq1 [armel, mips64el, mipsel]
- virtuelles Paket, bereitgestellt durch libcairo2-ocaml
-
- dep: libcairo2-ocaml-5scl0 [armhf, i386]
- virtuelles Paket, bereitgestellt durch libcairo2-ocaml
-
- dep: libcairo2-ocaml-vwag2 [amd64, arm64, ppc64el]
- virtuelles Paket, bereitgestellt durch libcairo2-ocaml
-
- dep: liblablgtk3-ocaml-0kl61 [armel, mips64el, mipsel]
- virtuelles Paket, bereitgestellt durch liblablgtk3-ocaml
-
- dep: liblablgtk3-ocaml-hdqe0 [armhf, i386]
- virtuelles Paket, bereitgestellt durch liblablgtk3-ocaml
-
- dep: liblablgtk3-ocaml-x0f80 [amd64, arm64, ppc64el]
- virtuelles Paket, bereitgestellt durch liblablgtk3-ocaml
-
- dep: liblablgtksourceview3-ocaml-0eup3 [armel, mips64el, mipsel]
- virtuelles Paket, bereitgestellt durch liblablgtksourceview3-ocaml
-
- dep: liblablgtksourceview3-ocaml-5j5o8 [amd64, arm64, ppc64el]
- virtuelles Paket, bereitgestellt durch liblablgtksourceview3-ocaml
-
- dep: liblablgtksourceview3-ocaml-m95m5 [armhf, i386]
- virtuelles Paket, bereitgestellt durch liblablgtksourceview3-ocaml
-
- dep: libnum-ocaml-3st20 [armel, mips64el, mipsel]
- virtuelles Paket, bereitgestellt durch libnum-ocaml
-
- dep: libnum-ocaml-80ki3 [amd64, arm64, ppc64el]
- virtuelles Paket, bereitgestellt durch libnum-ocaml
-
- dep: libnum-ocaml-hqq52 [armhf, i386]
- virtuelles Paket, bereitgestellt durch libnum-ocaml
-
- dep: ocaml-base-nox-4.11.1
- virtuelles Paket, bereitgestellt durch ocaml-base-nox
libcoq-ocaml herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| amd64 | 8.12.0-3+b3 | 7.576,3 kB | 32.701,0 kB | [Liste der Dateien] |
| arm64 | 8.12.0-3+b3 | 7.793,4 kB | 34.222,0 kB | [Liste der Dateien] |
| armel | 8.12.0-3+b3 | 5.332,2 kB | 22.943,0 kB | [Liste der Dateien] |
| armhf | 8.12.0-3+b3 | 7.561,6 kB | 30.008,0 kB | [Liste der Dateien] |
| i386 | 8.12.0-3+b3 | 7.398,2 kB | 31.213,0 kB | [Liste der Dateien] |
| mips64el | 8.12.0-3+b3 | 5.331,9 kB | 22.943,0 kB | [Liste der Dateien] |
| mipsel | 8.12.0-3+b3 | 5.332,1 kB | 22.946,0 kB | [Liste der Dateien] |
| ppc64el | 8.12.0-3+b3 | 7.632,8 kB | 34.259,0 kB | [Liste der Dateien] |