Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.6.2-2
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), pkg-kde-tools, cmake, catch, catch2, re2c, bison, liblua5.4-dev
Package-List:
 gringo deb interpreters optional arch=any
Checksums-Sha1:
 5314748bbfb56b312abb2b7c5859191f7525632a 5079018 gringo_5.6.2.orig.tar.gz
 93c2a08b7bd9e71852ab78178b112a04ac9b36aa 24516 gringo_5.6.2-2.debian.tar.xz
Checksums-Sha256:
 81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be 5079018 gringo_5.6.2.orig.tar.gz
 56872b7e833d870474143f045f8138069a7f72da57e917c6a5f066c476801bb2 24516 gringo_5.6.2-2.debian.tar.xz
Files:
 1f3a4e4ae814f62fffbccb57f715d426 5079018 gringo_5.6.2.orig.tar.gz
 ec39f1a20daf318cf299535f7855f8fa 24516 gringo_5.6.2-2.debian.tar.xz