How to Install and Uninstall gringo Package on Debian 12 (Bookworm)

Last updated: December 23,2024

You can also install and uninstall the gringo on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "gringo" package

This is a short guide on how to install gringo on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gringo
            
                    
    
    Copied

2. Uninstall "gringo" package

Please follow the guidelines below to uninstall gringo on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gringo
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gringo package on Debian 12 (Bookworm)

Package: gringo
Source: gringo (5.4.1-3.1)
Version: 5.4.1-3.1+b1
Installed-Size: 11068
Maintainer: Debian Science Maintainers
Architecture: amd64
Replaces: clingo, iclingo
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), liblua5.4-0 (>= 5.4.4), libpython3.11 (>= 3.11.0), libstdc++6 (>= 12.2.0-12)
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.1+b1_amd64.deb
Size: 1887596
MD5sum: c469210c910cacf1407876b963f618ed
SHA256: 440d5c705815efb70281a2c60bbcd76dcc4121f87f26563bc15e13dceb05cd2e