[ Zdroj: coq ]
Balík: coqide (8.19.1+dfsg-1 a iné)
Odkazy pre coqide
Zdroje Debian:
Stiahnuť zdrojový balík coq:
Správcovia:
- Debian OCaml Maintainers (Stránka QA, Konferencia)
- Benjamin Barenblat (Stránka QA)
- Julien Puydt (Stránka QA)
- Ralf Treinen (Stránka QA)
- Stéphane Glondu (Stránka QA)
Externé zdroje:
- Domovská stránka [coq.inria.fr]
Podobné balíky:
asistent dôkazov logiky vyššieho rádu (rozhranie GTK)
Coq je asistent dôkazov logiky vyššieho rádu, ktorý umožňuje vývoj počítačových programov v súlade s ich formálnou špecifikáciou. Bol vyvinutý pomocou Objective Caml a Camlp5.
Tento balík poskytuje CoqIde, grafické používateľské rozhranie na vývoj dôkazov.
Ostatné balíky súvisiace s balíkom coqide
|
|
|
|
-
- dep: coq (= 8.12.0-3+b3) [alpha, hppa, ia64, sh4, sparc64, x32]
- asistent dôkazov logiky vyššieho rádu (najvyššia úroveň a kompilátor)
- dep: coq (= 8.17.0+dfsg-1+b2) [ppc64]
- dep: coq (= 8.19.1+dfsg-1) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
- dep: coq (>= 8.0) [m68k]
-
- dep: libatk1.0-0 (>= 1.20.0) [m68k]
- sada nástrojov prístupnosti ATK
-
- dep: libc6 (>= 2.34) [riscv64]
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
- dep: libc6 (>= 2.35) [amd64, arm64, armhf, i386, ppc64, ppc64el, s390x]
- dep: libc6 (>= 2.5-5) [m68k]
-
- dep: libcairo2 (>= 1.12.0) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- 2D vektorová grafická knižnica Cairo
- dep: libcairo2 (>= 1.2.4) [m68k]
-
- dep: libfontconfig1 (>= 2.12.6) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- všeobecná knižnica na konfiguráciu písiem - dynamické knižnice
-
- dep: libfreetype6 (>= 2.2.1) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- správa písiem FreeType 2 - zdieľané knižnice
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- knižnica GDK Pixbuf
-
- 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]
- knižnica glib funkcií jazyka C
-
- 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) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- zdieľané knižnice ovládacieho prvku GTK+ na zvýrazňovanie syntaxe
-
- dep: libncurses5 (>= 5.6+20071006-3) [m68k]
- Balík nie je dostupný
-
- dep: libpango-1.0-0 (>= 1.14.0) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- rozloženie a vykreslenie internacionalizovaného textu
-
- dep: libpango1.0-0 (>= 1.20.2) [m68k]
- Layout and rendering of internationalized text (transitional package)
-
- dep: tex-common (>= 1.10) [m68k]
- spoločná infraštruktúra na zostavovanie a inštalovanie TeXu
Stiahnuť coqide
Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|---|
alpha (neoficiálny port) | 8.12.0-3+b3 | 45.6 kB | 111.0 kB | [zoznam súborov] |
amd64 | 8.19.1+dfsg-1 | 1,957.0 kB | 9,900.0 kB | [zoznam súborov] |
arm64 | 8.19.1+dfsg-1 | 2,278.6 kB | 11,447.0 kB | [zoznam súborov] |
armhf | 8.19.1+dfsg-1 | 1,805.6 kB | 6,663.0 kB | [zoznam súborov] |
hppa (neoficiálny port) | 8.12.0-3+b3 | 45.7 kB | 111.0 kB | [zoznam súborov] |
i386 | 8.19.1+dfsg-1 | 1,778.5 kB | 7,611.0 kB | [zoznam súborov] |
ia64 (neoficiálny port) | 8.12.0-3+b3 | 45.6 kB | 111.0 kB | [zoznam súborov] |
m68k (neoficiálny port) | 8.1.pl3+dfsg-1+b2 | 2,363.1 kB | 8,880.0 kB | [zoznam súborov] |
ppc64 (neoficiálny port) | 8.17.0+dfsg-1+b2 | 1,965.5 kB | 11,675.0 kB | [zoznam súborov] |
ppc64el | 8.19.1+dfsg-1 | 2,033.6 kB | 10,679.0 kB | [zoznam súborov] |
riscv64 | 8.19.1+dfsg-1 | 1,978.3 kB | 10,411.0 kB | [zoznam súborov] |
s390x | 8.19.1+dfsg-1 | 1,967.3 kB | 10,699.0 kB | [zoznam súborov] |
sh4 (neoficiálny port) | 8.12.0-3+b3 | 45.6 kB | 111.0 kB | [zoznam súborov] |
sparc64 (neoficiálny port) | 8.12.0-3+b3 | 45.7 kB | 111.0 kB | [zoznam súborov] |
x32 (neoficiálny port) | 8.12.0-3+b3 | 45.6 kB | 111.0 kB | [zoznam súborov] |