Paquet source : gringo (5.4.1-3)
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-compat
(= 13)
- Paquet indisponible
-
- 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++-10
(>= 10.2.1)
- compilateur C++ GNU
-
- adep:
cmake
(>= 3.1.0)
- système make multiplate-forme
-
- adep:
re2c
- lexer generator for C, C++ and Go
-
- adep:
bison
- générateur d'analyseur syntaxique compatible avec YACC
-
- adep:
liblua5.4-dev
- Development files for the Lua language version 5.4
-
- adep:
python3
(>= 3.8.2)
- langage orienté objet interactif de haut niveau – version par défaut de Python 3
-
- adep:
libpython3-dev
(>= 3.8.2)
- header files and a static library for Python (default)
-
- adep:
python3-distutils
(>= 3.8.2)
- paquet distutils pour Python⋅3.x
