Package: gringo
Binary: gringo
Version: 5.6.2-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Build-Depends: debhelper-compat (= 13), dh-sequence-python3, pkg-kde-tools, cmake, catch, catch2, re2c, bison, liblua5.4-dev, python3, libpython3-dev, python3-cffi, python3-setuptools
Architecture: any
Standards-Version: 4.6.2
Format: 3.0 (quilt)
Files: 427a6cfec3c87d5263a1d01af5e95b8a 2117 gringo_5.6.2-1.dsc
 1f3a4e4ae814f62fffbccb57f715d426 5079018 gringo_5.6.2.orig.tar.gz
 130be345d852755bef6c5a7738fc3dd0 24572 gringo_5.6.2-1.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/science-team/gringo
Vcs-Git: https://salsa.debian.org/science-team/gringo.git
Checksums-Sha256: 7150a644eadcf7adc6045f1fa0a311f1f81f01c0a217e7a64bcae7677e50f0a2 2117 gringo_5.6.2-1.dsc
 81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be 5079018 gringo_5.6.2.orig.tar.gz
 d5b24852b2ddcfddca9a14e93c0fbc189c7c7f72233004a4f355a2071d6c05a1 24572 gringo_5.6.2-1.debian.tar.xz
Homepage: https://www.potassco.org/clingo/
Package-List: gringo deb interpreters optional arch=any
Testsuite: autopkgtest
Directory: pool/main/g/gringo
Priority: source
Section: interpreters