[ Source: coq ]
Paketti: coqide (8.18.0+dfsg-1 ja muut)
Links for coqide
Debian-palvelut:
Imuroi lähdekoodipaketti coq:
Ylläpitäjät:
- Debian OCaml Maintainers (Laadunvalvontasivu, Mail Archive)
- Benjamin Barenblat (Laadunvalvontasivu)
- Julien Puydt (Laadunvalvontasivu)
- Ralf Treinen (Laadunvalvontasivu)
- Stéphane Glondu (Laadunvalvontasivu)
External Resources:
- Kotisivu [coq.inria.fr]
Samankaltaisia paketteja:
proof assistant for higher-order logic (gtk interface)
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 CoqIde, a graphical user interface for developing proofs.
Muut pakettiin coqide liittyvät paketit
|
|
|
|
-
- dep: coq (= 8.12.0-3+b3) [alpha, hppa, ia64, sh4, sparc64, x32]
- proof assistant for higher-order logic (toplevel and compiler)
- dep: coq (= 8.17.0+dfsg-1+b2) [ppc64]
- dep: coq (= 8.18.0+dfsg-1+b1) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
- dep: coq (>= 8.0) [m68k]
-
- dep: libatk1.0-0 (>= 1.20.0) [m68k]
- ATK accessibility toolkit
-
- dep: libc6 (>= 2.34) [riscv64]
- GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb
- dep: libc6 (>= 2.35) [amd64, arm64, armhf, i386, ppc64, ppc64el, s390x]
- dep: libc6 (>= 2.5-5) [m68k]
-
- dep: libcairo2 (>= 1.12.0) [ei alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- Cairo 2D vector graphics library
- dep: libcairo2 (>= 1.2.4) [m68k]
-
- dep: libfontconfig1 (>= 2.12.6) [ei alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- generic font configuration library - runtime
-
- dep: libfreetype6 (>= 2.2.1) [ei alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- FreeType 2 font engine, shared library files
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [ei alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- GDK Pixbuf library
-
- dep: libglib2.0-0 (>= 2.12.0) [m68k]
- GLib library of C routines - transitional package
- dep: libglib2.0-0 (>= 2.36.0) [ppc64]
-
- dep: libglib2.0-0t64 (>= 2.36.0) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
- GLib library of C routines
-
- dep: libgtk-3-0 (>= 3.11.5) [ppc64]
- GTK graphical user interface library
-
- dep: libgtk-3-0t64 (>= 3.11.5) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
- GTK graphical user interface library
-
- dep: libgtk2.0-0 (>= 2.12.0) [m68k]
- GTK graphical user interface library - old version
-
- dep: libgtksourceview-3.0-1 (>= 2.91.4) [ei alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- shared libraries for the GTK+ syntax highlighting widget
-
- dep: libncurses5 (>= 5.6+20071006-3) [m68k]
- Paketti ei saatavilla
-
- dep: libpango-1.0-0 (>= 1.14.0) [ei alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- Layout and rendering of internationalized text
-
- dep: libpango1.0-0 (>= 1.20.2) [m68k]
- Layout and rendering of internationalized text (transitional package)
-
- dep: tex-common (>= 1.10) [m68k]
- common infrastructure for building and installing TeX
Imuroi coqide
Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|---|
alpha (epävirallinen siirros) | 8.12.0-3+b3 | 45.6 kt | 111.0 kt | [tiedostoluettelo] |
amd64 | 8.18.0+dfsg-1+b1 | 1,954.2 kt | 9,889.0 kt | [tiedostoluettelo] |
arm64 | 8.18.0+dfsg-1+b1 | 2,272.0 kt | 11,381.0 kt | [tiedostoluettelo] |
armhf | 8.18.0+dfsg-1+b1 | 1,802.3 kt | 6,653.0 kt | [tiedostoluettelo] |
hppa (epävirallinen siirros) | 8.12.0-3+b3 | 45.7 kt | 111.0 kt | [tiedostoluettelo] |
i386 | 8.18.0+dfsg-1+b1 | 1,775.1 kt | 7,597.0 kt | [tiedostoluettelo] |
ia64 (epävirallinen siirros) | 8.12.0-3+b3 | 45.6 kt | 111.0 kt | [tiedostoluettelo] |
m68k (epävirallinen siirros) | 8.1.pl3+dfsg-1+b2 | 2,363.1 kt | 8,880.0 kt | [tiedostoluettelo] |
ppc64 (epävirallinen siirros) | 8.17.0+dfsg-1+b2 | 1,965.5 kt | 11,675.0 kt | [tiedostoluettelo] |
ppc64el | 8.18.0+dfsg-1+b1 | 2,030.4 kt | 10,613.0 kt | [tiedostoluettelo] |
riscv64 | 8.18.0+dfsg-1+b1 | 1,968.6 kt | 10,397.0 kt | [tiedostoluettelo] |
s390x | 8.18.0+dfsg-1+b1 | 1,947.2 kt | 10,685.0 kt | [tiedostoluettelo] |
sh4 (epävirallinen siirros) | 8.12.0-3+b3 | 45.6 kt | 111.0 kt | [tiedostoluettelo] |
sparc64 (epävirallinen siirros) | 8.12.0-3+b3 | 45.7 kt | 111.0 kt | [tiedostoluettelo] |
x32 (epävirallinen siirros) | 8.12.0-3+b3 | 45.6 kt | 111.0 kt | [tiedostoluettelo] |