How to Install and Uninstall curry-tools-source Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: April 29,2024

You can also install and uninstall the curry-tools-source 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 "curry-tools-source" package

Please follow the instructions below to install curry-tools-source on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                curry-tools-source
            
                    
    
    Copied

2. Uninstall "curry-tools-source" package

This is a short guide on how to uninstall curry-tools-source on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                curry-tools-source
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the curry-tools-source package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: curry-tools-source
Architecture: all
Version: 3.3.0-2
Priority: optional
Section: universe/devel
Source: curry-tools
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Curry Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 323
Breaks: pakcs (<< 2.2.0~)
Filename: pool/universe/c/curry-tools/curry-tools-source_3.3.0-2_all.deb
Size: 323100
MD5sum: a81deb12e280ef2361bebd5181fd65be
SHA1: 2799d7a8823a7dd9de0f70250e59408877e39fba
SHA256: e7436dc90e7814d9d962008c4ff55622a088c23f7848265433b318de003367ba
SHA512: 023023bb68da9796ee17462b469cad9d286f8c91f9efc94dee3a95a5b7a89b34145e519eeb2d3f44373a0840eb7383ad534f83edd6b372f7b43f8020c640de6d
Homepage: https://git.ps.informatik.uni-kiel.de/curry/curry-tools
Description: Tools that are used by different Curry systems, like PAKCS or KiCS2
Description-md5: d39b33343729172b9ae4bb1e3dc77c9f