Package: gringo
Architecture: amd64
Version: 5.6.2-2
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: 14953
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), liblua5.4-0 (>= 5.4.6), libstdc++6 (>= 13.1)
Recommends: clasp
Conflicts: clingo, iclingo
Replaces: clingo, iclingo
Filename: pool/universe/g/gringo/gringo_5.6.2-2_amd64.deb
Size: 2077520
MD5sum: 725958873a2a69dcbf0b19bfc8f357f6
SHA1: e8466c17f07cd04441bed4c15bece5f2deebc059
SHA256: c75ef0067ac9e8a0a9d9a06f81eb56824ce2912462682cab7958fa2954dff51f
SHA512: c90e39ca2f1c0e43cf3b1b9aeace74af24029eb0e2982590c207c5643f12b5daacd7475d8c53bf7b826da9bfc1c0d0494f0ef9912083aefe788262bbc84aa8b8
Homepage: https://www.potassco.org/clingo/
Description: grounding tools for (disjunctive) logic programs
Description-md5: bd436af228b986e8da930746dfb6518b