How to Install and Uninstall gringo Package on Debian 11 (Bullseye)

Last updated: December 23,2024

1. Install "gringo" package

Please follow the guidance below to install gringo on Debian 11 (Bullseye)

$ sudo apt update $ sudo apt install gringo

2. Uninstall "gringo" package

In this section, we are going to explain the necessary steps to uninstall gringo on Debian 11 (Bullseye):

$ sudo apt remove gringo $ sudo apt autoclean && sudo apt autoremove

3. Information about the gringo package on Debian 11 (Bullseye)

Package: gringo
Version: 5.4.1-3
Installed-Size: 11089
Maintainer: Debian Science Maintainers
Architecture: amd64
Replaces: clingo, iclingo
Depends: libc6 (>= 2.30), libgcc-s1 (>= 3.0), liblua5.4-0 (>= 5.4.2), libpython3.9 (>= 3.9.0~b4), libstdc++6 (>= 9)
Recommends: clasp
Conflicts: clingo, iclingo
Breaks: aspcud (<= 1.9.0-2), clasp (<< 3.2.1-1)
Description: grounding tools for (disjunctive) logic programs
Description-md5: bd436af228b986e8da930746dfb6518b
Homepage: https://www.potassco.org/clingo/
Tag: role::program
Section: interpreters
Priority: optional
Filename: pool/main/g/gringo/gringo_5.4.1-3_amd64.deb
Size: 1842476
MD5sum: 272e7857cb43ef3cd51637d88383bb2b
SHA256: 3b77edc3e6792dba1e7a01148db1a3b72954566ac97703dfcc8fb340d1b6fdb6