How to Install and Uninstall libghc-dependent-sum-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 15,2024

1. Install "libghc-dependent-sum-dev" package

This is a short guide on how to install libghc-dependent-sum-dev on Ubuntu 22.10 (Kinetic Kudu)

$ sudo apt update $ sudo apt install libghc-dependent-sum-dev

2. Uninstall "libghc-dependent-sum-dev" package

Here is a brief guide to show you how to uninstall libghc-dependent-sum-dev on Ubuntu 22.10 (Kinetic Kudu):

$ sudo apt remove libghc-dependent-sum-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libghc-dependent-sum-dev package on Ubuntu 22.10 (Kinetic Kudu)

Package: libghc-dependent-sum-dev
Architecture: amd64
Version: 0.7.1.0-2
Priority: extra
Section: universe/haskell
Source: haskell-dependent-sum
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 192
Provides: libghc-dependent-sum-dev-0.7.1.0-b5813
Depends: libghc-base-dev-4.15.1.0-7ed7d, libghc-constraints-extras-dev-0.3.2.1-4bcb7, libghc-some-dev-1.0.3-4e3b6, libc6 (>= 2.2.5), libgmp10 (>= 2:6.2.1+dfsg)
Filename: pool/universe/h/haskell-dependent-sum/libghc-dependent-sum-dev_0.7.1.0-2_amd64.deb
Size: 24742
MD5sum: 07d9a7b4b942b272edd2f4d810d2cf88
SHA1: a83a5be23a9e2e28e3b6ecf1cca918c574a144d2
SHA256: 33578b9f8d268e9d5024db91709d40dbbbeba2725c1c735501fced01d5b6bdfe
SHA512: 040538b28e2d228f53a55ddcbdd1a39a33f7eedf9e2c913fc814e5981f2b08c252dc5eb6fad92b86c5f911795b207072611e97c9285377a57a190350a9c2e8be
Homepage: https://github.com/obsidiansystems/dependent-sum
Description: Dependent sum type
Description-md5: 44266b1bc2fd61aa09f458dbee73e939
Ghc-Package: dependent-sum-0.7.1.0-7YzuUeHZzq8921HSNJFpl5