How to Install and Uninstall gringo Package on Debian 10 (Buster)
Last updated: December 23,2024
1. Install "gringo" package
Please follow the steps below to install gringo on Debian 10 (Buster)
$
sudo apt update
Copied
$
sudo apt install
gringo
Copied
2. Uninstall "gringo" package
In this section, we are going to explain the necessary steps to uninstall gringo on Debian 10 (Buster):
$
sudo apt remove
gringo
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the gringo package on Debian 10 (Buster)
Package: gringo
Version: 5.3.0-10
Installed-Size: 6962
Maintainer: Debian Science Maintainers
Architecture: amd64
Replaces: clingo, iclingo
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), liblua5.3-0, libpython3.7 (>= 3.7.0), libstdc++6 (>= 7)
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.3.0-10_amd64.deb
Size: 2228044
MD5sum: 847a191e809448238b3c9635b3e5a161
SHA256: f9c9238569dbf121d323563e283ad737871486bdc7f3ff6ba98fe291341829bb
Version: 5.3.0-10
Installed-Size: 6962
Maintainer: Debian Science Maintainers
Architecture: amd64
Replaces: clingo, iclingo
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), liblua5.3-0, libpython3.7 (>= 3.7.0), libstdc++6 (>= 7)
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.3.0-10_amd64.deb
Size: 2228044
MD5sum: 847a191e809448238b3c9635b3e5a161
SHA256: f9c9238569dbf121d323563e283ad737871486bdc7f3ff6ba98fe291341829bb