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

Last updated: February 03,2025

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

MX Linux 23
SparkyLinux

1. Install "clasp" package

Please follow the guidelines below to install clasp on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                clasp
            
                    
    
    Copied

2. Uninstall "clasp" package

Learn how to uninstall clasp on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                clasp
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: clasp
Version: 3.3.5-4.2
Installed-Size: 1719
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 12)
Recommends: gringo
Description: conflict-driven nogood learning answer set solver
Description-md5: 618ecb2971ab1f6d5fd7213f2985ff5b
Homepage: https://www.potassco.org/clasp/
Tag: implemented-in::c++, role::program
Section: interpreters
Priority: optional
Filename: pool/main/c/clasp/clasp_3.3.5-4.2_amd64.deb
Size: 629252
MD5sum: 6e6ecaec37aba4758c1394d626706c5a
SHA256: a199884c447fae7f281ed828f52ad08f480b5894562ce2a35bcc44ced51eabaf