How to Install and Uninstall gringo Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 05,2024

1. Install "gringo" package

This tutorial shows how to install gringo on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gringo
            
                    
    
    Copied

2. Uninstall "gringo" package

This guide let you learn how to uninstall gringo on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gringo
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gringo package on Ubuntu 23.10 (Mantic Minotaur)

Package: gringo
Architecture: amd64
Version: 5.4.1-3.1
Priority: optional
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 11163
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), liblua5.4-0 (>= 5.4.4), libpython3.11 (>= 3.11.0), libstdc++6 (>= 12.2.0-10ubuntu1)
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.1-3.1_amd64.deb
Size: 2115218
MD5sum: 899817280d5ce7a33a0de4c34bb3c68e
SHA1: 07469079150639261a17e9722101609feddfd96c
SHA256: 9f1feedf24f9a9dd9d2f77bf774bf1f79c6b2f1ba959a3ac28614eb7ee0305e0
SHA512: 7f08a730267b52e3c5b1477aec8c29793ebc21eb01b63da6fc163c34faf2907001cfe09a0d9810e3715c01551c831ccc71f7c53a62b269531683845ce9788816
Homepage: https://www.potassco.org/clingo/
Description: grounding tools for (disjunctive) logic programs
Description-md5: bd436af228b986e8da930746dfb6518b