How to Install and Uninstall gringo Package on Debian 10 (Buster)

Last updated: May 06,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