Paquet source : gringo (5.3.0-10)
Liens pour gringo
Ressources Debian :
Responsables :
Ressources externes :
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- gringo
- outils de « grounding » pour des programmes logiques (disjonctifs)
Autres paquets associés à gringo
-
- adep:
debhelper
(>= 11)
- programmes assistants pour debian/rules
-
- adep:
dpkg-dev
(>= 1.16.1~)
- outils de développement pour les paquets Debian
-
- adep:
pkg-kde-tools
- various packaging tools and scripts for KDE Applications
-
- adep:
g++-8
(>= 8.2.0-21)
- compilateur C++ GNU
-
- adep:
cmake
(>= 3.1.0)
- système make multiplate-forme
-
- adep:
re2c
- tool for generating fast C-based recognizers
-
- adep:
bison
- générateur d'analyseur syntaxique compatible avec YACC
-
- adep:
liblua5.3-dev
- Development files for the Lua language version 5.3
-
- adep:
python3.7
- langage orienté objet interactif de haut niveau —⋅version 3.7
-
- adep:
libpython3.7-dev
- fichiers d'en-tête et bibliothèque statique pour Python −⋅version⋅3.7
-
- adep:
python3.7-distutils
- paquet virtuel fourni par
python3-distutils
