Zdrojový balík: gringo (5.3.0-10)
Odkazy pre gringo
Zdroje Debian:
Správcovia:
Externé zdroje:
Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
- gringo
- nástroje na uzemnenie programov (disjunktnej) logiky
Ostatné balíky súvisiace s balíkom gringo
-
- adep:
debhelper
(>= 11)
- pomocné programy pre debian/rules
-
- adep:
dpkg-dev
(>= 1.16.1~)
- nástroje na vývoj balíkov Debianu
-
- adep:
pkg-kde-tools
- rôzne nástroje a skripty na tvorbu balíkov aplikácií KDE
-
- adep:
g++-8
(>= 8.2.0-21)
- kompilátor GNU C++
-
- adep:
cmake
(>= 3.1.0)
- multiplatformný open source systém make
-
- adep:
re2c
- nástroj na tvorbu rýchlych analyzátorov založených na jazyku C
-
- adep:
bison
- generátor syntaktických analyzátorov kompatibilný s YACC
-
- adep:
liblua5.3-dev
- Development files for the Lua language version 5.3
-
- adep:
python3.7
- interaktívny vysokoúrovňový objektovo orientovaný jazyk (verzia 3.7)
-
- adep:
libpython3.7-dev
- hlavičkové súbory a statická knižnica Pythonu (v3.7)
-
- adep:
python3.7-distutils
- virtuálny balík poskytovaný balíkom
python3-distutils
