How to Install and Uninstall libghc-dependent-sum-dev Package on Debian 12 (Bookworm)

Last updated: May 15,2024

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

Please follow the steps below to install libghc-dependent-sum-dev on Debian 12 (Bookworm)

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

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

Please follow the steps below to uninstall libghc-dependent-sum-dev on Debian 12 (Bookworm):

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

3. Information about the libghc-dependent-sum-dev package on Debian 12 (Bookworm)

Package: libghc-dependent-sum-dev
Source: haskell-dependent-sum (0.7.1.0-2)
Version: 0.7.1.0-2+b3
Installed-Size: 190
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-dependent-sum-dev-0.7.1.0-2fd03
Depends: libghc-base-dev-4.15.1.0-6a406, libghc-constraints-extras-dev-0.3.2.1-88e87, libghc-some-dev-1.0.3-7becf, libc6 (>= 2.2.5), libgmp10 (>= 2:6.2.1+dfsg1)
Description: Dependent sum type
Description-md5: 44266b1bc2fd61aa09f458dbee73e939
Homepage: https://github.com/obsidiansystems/dependent-sum
Ghc-Package: dependent-sum-0.7.1.0-7YzuUeHZzq8921HSNJFpl5
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-dependent-sum/libghc-dependent-sum-dev_0.7.1.0-2+b3_amd64.deb
Size: 28200
MD5sum: 40d15baf8e096433e384dda1c2814a07
SHA256: 4a35b23712f5b3c9b3122553fa1c4744eaf88441fe0348f83be594f581d7cd60