How to Install and Uninstall clasp Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 22,2024

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

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "clasp" package

This guide let you learn how to install clasp on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                clasp
            
                    
    
    Copied

2. Uninstall "clasp" package

Please follow the guidelines below to uninstall clasp on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                clasp
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the clasp package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: clasp
Architecture: amd64
Version: 3.3.5-4ubuntu1
Priority: extra
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1563
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 6)
Recommends: gringo
Filename: pool/universe/c/clasp/clasp_3.3.5-4ubuntu1_amd64.deb
Size: 614790
MD5sum: b9f308bb2961b874734f89b289721383
SHA1: 6aaa0d01b860478afc8fcf6c55180a8042830ec3
SHA256: 6cb2d73ad00a3ef2fa949f2fb507c631dfee2a631bb4465c58e9c9469b96933d
SHA512: ae26db9d30d9e907f535c76623c062047b5dab1c522dd2535c11c232117d2de55db9a432f6d80eca2722f00d19882e1d98fdf06c441d8652e3e73b92fb9137f8
Homepage: https://www.potassco.org/clasp/
Description: conflict-driven nogood learning answer set solver
Description-md5: 618ecb2971ab1f6d5fd7213f2985ff5b