Source Package: gringo (5.3.0-10)
Links for gringo
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- gringo
- Grundlæggende værktøjer for (disjunktive) logikprogrammer
Other Packages Related to gringo
-
- adep:
debhelper
(>= 11)
- Hjælpeprogrammer for debian/rules
-
- adep:
dpkg-dev
(>= 1.16.1~)
- Debians pakkeudviklingsværktøjer
-
- adep:
pkg-kde-tools
- various packaging tools and scripts for KDE Applications
-
- adep:
g++-8
(>= 8.2.0-21)
- GNU C++-oversætter
-
- adep:
cmake
(>= 3.1.0)
- open source make-system for flere platforme
-
- adep:
re2c
- Værktøj for oprettelse af hurtige C-baserede genkendelsesprogrammer
-
- adep:
bison
- YACC-kompatibelt oprettelsesprogram for fortolker
-
- adep:
liblua5.3-dev
- Udviklingsfiler for Luasproget version 5.3
-
- adep:
python3.7
- Interaktivt objektorienteret sprog på højt niveau - version 3.7
-
- adep:
libpython3.7-dev
- Teksthovedfiler og et statisk bibliotek for Python - version 3.7
-
- adep:
python3.7-distutils
- virtual package provided by
python3-distutils
