How to Install and Uninstall curry-libs-source Package on Linux Mint 21 (Vanessa)

Last updated: May 09,2024

1. Install "curry-libs-source" package

Learn how to install curry-libs-source on Linux Mint 21 (Vanessa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                curry-libs-source
            
                    
    
    Copied

2. Uninstall "curry-libs-source" package

Please follow the instructions below to uninstall curry-libs-source on Linux Mint 21 (Vanessa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                curry-libs-source
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the curry-libs-source package on Linux Mint 21 (Vanessa)

Package: curry-libs-source
Architecture: all
Version: 3.0.0-2
Priority: optional
Section: universe/devel
Source: curry-libs
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Curry Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 73
Breaks: pakcs (<< 2.2.0~)
Filename: pool/universe/c/curry-libs/curry-libs-source_3.0.0-2_all.deb
Size: 66856
MD5sum: 0a18b12fb3049e26bcdd26255f1d3088
SHA1: f60e17aa928ef98836ccb56980afab8df80298e5
SHA256: 1e3004ca3b876611d3b2ebc2cc8ba74189141c57bd83fb3e86c34cf5e865d040
SHA512: 2ddde20305df8a275cd579673eac2cae793fdef711ffff0b8ec1414e8bb930bb24e55934c776b57078fd153c3fdf1cc500bda2c70ef15d9f02a9f8a3e2214950
Homepage: https://git.ps.informatik.uni-kiel.de/curry/curry-libs
Description: Standard libraries of the Curry distributions PAKCS and KiCS2 (source files)
Description-md5: 735b8e6e509b3c3123e5c6053e092d60