Package: gringo Version: 5.1.0-4 Installed-Size: 8775 Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Architecture: amd64 Replaces: clingo, iclingo Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), liblua5.3-0, libpython2.7 (>= 2.7), libstdc++6 (>= 6) Recommends: clasp Conflicts: clingo, iclingo Breaks: aspcud (<= 1.9.0-2), clasp (<< 3.2.1-1) Description: grounding tools for (disjunctive) logic programs Homepage: https://www.potassco.org/clasp/ Description-md5: bd436af228b986e8da930746dfb6518b Tag: role::program Section: interpreters Priority: optional Filename: pool/main/g/gringo/gringo_5.1.0-4_amd64.deb Size: 2357330 MD5sum: f459f63dafbae8c1c16b65d8c5ee445f SHA256: 70add6f0ba3713997983f341273aa53e79aaf9cf7978e1a2a61e300339e355a2