How to Install and Uninstall libghc-ghc-typelits-knownnat-dev Package on Debian 12 (Bookworm)

Last updated: March 16,2025

1. Install "libghc-ghc-typelits-knownnat-dev" package

Please follow the steps below to install libghc-ghc-typelits-knownnat-dev on Debian 12 (Bookworm)

$ sudo apt update $ sudo apt install libghc-ghc-typelits-knownnat-dev

2. Uninstall "libghc-ghc-typelits-knownnat-dev" package

This guide covers the steps necessary to uninstall libghc-ghc-typelits-knownnat-dev on Debian 12 (Bookworm):

$ sudo apt remove libghc-ghc-typelits-knownnat-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libghc-ghc-typelits-knownnat-dev package on Debian 12 (Bookworm)

Package: libghc-ghc-typelits-knownnat-dev
Source: haskell-ghc-typelits-knownnat
Version: 0.7.7-1
Installed-Size: 519
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-ghc-typelits-knownnat-dev-0.7.7-da5ee
Depends: libghc-base-dev-4.15.1.0-6a406, libghc-ghc-dev-9.0.2-740f7, libghc-ghc-prim-dev-0.7.0-65cf5, libghc-ghc-tcplugins-extra-dev-0.4.3-22827, libghc-ghc-typelits-natnormalise-dev-0.7.7-a70c4, libghc-template-haskell-dev-2.17.0.0-7274a, libghc-transformers-dev-0.5.6.2-fc6f3, libc6 (>= 2.2.5), libgmp10 (>= 2:6.2.1+dfsg1), libtinfo6 (>= 6)
Description: Derive KnownNat constraints from other KnownNat constraints
Description-md5: d9c9232ed59922d32db1219348465777
Homepage: https://clash-lang.org/
Ghc-Package: ghc-typelits-knownnat-0.7.7-EziVik3ySguCo4yHKK2yLw
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-ghc-typelits-knownnat/libghc-ghc-typelits-knownnat-dev_0.7.7-1_amd64.deb
Size: 71312
MD5sum: 1c669840b454a54d6dffce847cc8d885
SHA256: 842f540699a9f635ad27a860c0c5dc0fe7730beca6e53fcd170c08638f90f2e2