Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.6.2-1deepin1+rb1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Homepage: https://www.potassco.org/clingo/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/science-team/gringo
Vcs-Git: https://salsa.debian.org/science-team/gringo.git
Testsuite: autopkgtest
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
Package-List:
 gringo deb interpreters optional arch=any
Checksums-Sha1:
 e1cbc5622e7c03329ba6fb017de7397607f9331d 5069745 gringo_5.6.2.orig.tar.gz
 b4be6478eacc1ec61fd99988aaa213ba53b3483f 25028 gringo_5.6.2-1deepin1+rb1.debian.tar.xz
Checksums-Sha256:
 39f12c17e9d09a2a25c306f09e1bd43dbafcf6bd1071ee390f7e2926e94f2c97 5069745 gringo_5.6.2.orig.tar.gz
 104983f51422d4b7010d33252b7869aa322d6243baa4d08bf37fa157f365d295 25028 gringo_5.6.2-1deepin1+rb1.debian.tar.xz
Files:
 09c6bc3c46de0454333d141a510cca70 5069745 gringo_5.6.2.orig.tar.gz
 11a6ba6b02dae348b92764b0e5316313 25028 gringo_5.6.2-1deepin1+rb1.debian.tar.xz