[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

Bronpakket: gringo (5.3.0-10)

Verwijzigingen voor gringo

Debian bronnen:

Beheerders:

Externe bronnen:

Homepage [www.potassco.org]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

gringo: grounding tools for (disjunctive) logic programs

Andere aan gringo gerelateerde pakketten

build-depends

build-depends-indep

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++-8 (>= 8.2.0-21)

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.7

Interactive high-level object-oriented language (version 3.7)
adep: libpython3.7-dev

Header files and a static library for Python (v3.7)
adep: python3.7-distutils

virtueel pakket geboden door python3-distutils

Download gringo

Bestand	Grootte (in kB)	MD5 checksum
gringo_5.3.0-10.dsc	2,1 kB	9064c2f406b0514936ce07610b8b1a42
gringo_5.3.0.orig.tar.gz	2.621,9 kB	05678e1c194a1ad776174d311d900738
gringo_5.3.0-10.debian.tar.xz	18,1 kB	736088a475de0c6b78216d02a166491c

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/science-team/gringo.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/science-team/gringo