How to Install and Uninstall gringo Package on Linux Mint 20.3 (Una)

Last updated: December 23,2024

1. Install "gringo" package

Learn how to install gringo on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gringo
            
                    
    
    Copied

2. Uninstall "gringo" package

Please follow the steps below to uninstall gringo on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gringo
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gringo package on Linux Mint 20.3 (Una)

Package: gringo
Architecture: amd64
Version: 5.4.0-0ubuntu1
Priority: optional
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7101
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), liblua5.3-0, libpython3.8 (>= 3.8.0~a1), 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.4.0-0ubuntu1_amd64.deb
Size: 2235412
MD5sum: 2aea0008be17d3bc7399ab5b0535deb0
SHA1: d999b80ca6ab836b6e52de5d5e6efd0b26b121c7
SHA256: 428035f90e4c3889687129be5c16c218f15be05aee63336c5e93db7b38a22cb3
Homepage: https://www.potassco.org/clingo/
Description: grounding tools for (disjunctive) logic programs
Description-md5: bd436af228b986e8da930746dfb6518b