Пакет исходного кода: gringo (5.3.0-10)
Ссылки для gringo
Ресурсы Debian:
Сопровождающие:
Внешние ресурсы:
Из этого пакета исходного кода собираются следующие двоичные пакеты:
- gringo
- grounding tools for (disjunctive) logic programs
Другие пакеты, относящиеся к gringo
-
- adep:
debhelper
(>= 11)
- вспомогательные программы для debian/rules
-
- adep:
dpkg-dev
(>= 1.16.1~)
- инструменты сборки пакетов Debian
-
- adep:
pkg-kde-tools
- various packaging tools and scripts for KDE Applications
-
- adep:
g++-8
(>= 8.2.0-21)
- компилятор GNU C++
-
- adep:
cmake
(>= 3.1.0)
- cross-platform, open-source make system
-
- adep:
re2c
- tool for generating fast C-based recognizers
-
- adep:
bison
- YACC-compatible parser generator
-
- adep:
liblua5.3-dev
- Development files for the Lua language version 5.3
-
- adep:
python3.7
- Interactive high-level object-oriented language (version 3.7)
-
- adep:
libpython3.7-dev
- Header files and a static library for Python (v3.7)
-
- adep:
python3.7-distutils
- виртуальный пакет, предоставляемый
python3-distutils