Quellcode-Paket: gringo (5.3.0-10)
Links für gringo
Debian-Ressourcen:
Betreuer:
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- gringo
- »grounding tools« für (disjunktive) Logikprogramme
Andere Pakete mit Bezug zu gringo
-
- adep:
debhelper
(>= 11)
- Hilfsprogramme für debian/rules
-
- adep:
dpkg-dev
(>= 1.16.1~)
- Debian-Werkzeuge für die Paketerstellung
-
- adep:
pkg-kde-tools
- various packaging tools and scripts for KDE Applications
-
- adep:
g++-8
(>= 8.2.0-21)
- Der GNU-C++-Compiler
-
- adep:
cmake
(>= 3.1.0)
- Plattformübergreifendes, quelloffenes Make-System
-
- adep:
re2c
- Werkzeug zum Erzeugen schneller, C-basierter lexikalischer Scanner
-
- adep:
bison
- YACC-kompatibler Parsergenerator
-
- adep:
liblua5.3-dev
- Programmiersprache Lua, Version 5.3 - Entwicklungsdateien
-
- adep:
python3.7
- Interaktive, objektorientierte, höhere Programmiersprache (Version 3.7)
-
- adep:
libpython3.7-dev
- Header-Dateien und eine statische Bibliothek für Python (v3.7)
-
- adep:
python3.7-distutils
- virtuelles Paket, bereitgestellt durch
python3-distutils
