[ experimental ]
[ Zdroj: coq ]
Balík: rocqide (9.1.0+dfsg-1)
Odkazy pre rocqide
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:
Experimentálny balík
Upozornenie: Tento balík pochádza z distribúcie experimental. To znamená, že je pravdepodobne nestabilný alebo môže dokonca spôsobiť stratu údajov. Predtým, než ho začnete používať sa prosím pozrite do záznamu zmien a ďalšej možnej dokumentácie.
proof assistant for higher-order logic (gtk interface)
Ostatné balíky súvisiace s balíkom rocqide
|
|
|
|
-
- dep: coq (= 9.1.0+dfsg-1)
- asistent dôkazov logiky vyššieho rádu (najvyššia úroveň a kompilátor)
-
- dep: libc6 (>= 2.38)
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
-
- dep: libcairo2 (>= 1.12.0)
- 2D vektorová grafická knižnica Cairo
-
- dep: libfontconfig1 (>= 2.12.6)
- všeobecná knižnica na konfiguráciu písiem - dynamické knižnice
-
- dep: libfreetype6 (>= 2.2.1)
- správa písiem FreeType 2 - zdieľané knižnice
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)
- knižnica GDK Pixbuf
-
- dep: libglib2.0-0t64 (>= 2.36.0)
- knižnica glib funkcií jazyka C
-
- dep: libgtk-3-0t64 (>= 3.11.5)
- GTK graphical user interface library
-
- dep: libgtksourceview-3.0-1 (>= 2.91.4)
- zdieľané knižnice ovládacieho prvku GTK+ na zvýrazňovanie syntaxe
-
- dep: libpango-1.0-0 (>= 1.14.0)
- rozloženie a vykreslenie internacionalizovaného textu
Stiahnuť rocqide
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| amd64 | 1,885.7 kB | 8,865.0 kB | [zoznam súborov] |
| arm64 | 2,203.4 kB | 10,685.0 kB | [zoznam súborov] |
| ppc64el | 1,932.4 kB | 9,725.0 kB | [zoznam súborov] |
| riscv64 | 1,952.7 kB | 9,641.0 kB | [zoznam súborov] |
| s390x | 1,930.4 kB | 10,225.0 kB | [zoznam súborov] |