Quellcode-Paket: gringo (5.2.2-5)
Links für gringo
Trisquel-Ressourcen:
Betreuer:
Original Maintainers:
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- gringo
- grounding tools for (disjunctive) logic programs
Andere Pakete mit Bezug zu gringo
-
- adep:
debhelper
(>= 11)
- helper programs for debian/rules
-
- adep:
dpkg-dev
(>= 1.16.1~)
- Debian package development tools
-
- adep:
pkg-kde-tools
- various packaging tools and scripts for KDE Applications
-
- adep:
g++-7
(>= 7.2.0)
- GNU C++ compiler
-
- 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
- interactive high-level object-oriented language (default python3 version)
-
- adep:
libpython3-dev
- header files and a static library for Python (default)