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

Last updated: November 22,2024

1. Install "curry-libs-source" package

This tutorial shows how to install curry-libs-source on Ubuntu 22.04 LTS (Jammy Jellyfish)

$ sudo apt update $ sudo apt install curry-libs-source

2. Uninstall "curry-libs-source" package

Please follow the guidance below to uninstall curry-libs-source on Ubuntu 22.04 LTS (Jammy Jellyfish):

$ sudo apt remove curry-libs-source $ sudo apt autoclean && sudo apt autoremove

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

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