Package: gringo Architecture: amd64 Version: 5.2.2-5 Priority: optional Section: universe/interpreters Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 6712 Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), liblua5.3-0, libpython3.6 (>= 3.6.4~rc1), libstdc++6 (>= 7) Recommends: clasp Conflicts: clingo, iclingo Breaks: aspcud (<= 1.9.0-2), clasp (<< 3.2.1-1) Replaces: clingo, iclingo Filename: pool/universe/g/gringo/gringo_5.2.2-5_amd64.deb Size: 2184928 MD5sum: 51a375b61c0d7099ad8734fd76389827 SHA1: 55c7fb07eb13af93e89389a12836cfaffb486b73 SHA256: 175ccb2da6f8a6abe1acfc314eafa1655503b2fa91728885cc0bcee64db417d5 Homepage: https://www.potassco.org/clingo/ Description: grounding tools for (disjunctive) logic programs Description-md5: bd436af228b986e8da930746dfb6518b