How to Install and Uninstall libghc-ghc-typelits-knownnat-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 31,2024

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

Please follow the guidelines below to install libghc-ghc-typelits-knownnat-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-ghc-typelits-knownnat-dev
            
                    
    
    Copied

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

Please follow the instructions below to uninstall libghc-ghc-typelits-knownnat-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-ghc-typelits-knownnat-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-ghc-typelits-knownnat-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libghc-ghc-typelits-knownnat-dev
Architecture: amd64
Version: 0.7.7-1build1
Priority: optional
Section: universe/haskell
Source: haskell-ghc-typelits-knownnat
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 517
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)
Filename: pool/universe/h/haskell-ghc-typelits-knownnat/libghc-ghc-typelits-knownnat-dev_0.7.7-1build1_amd64.deb
Size: 72060
MD5sum: 430e4390a83718c67cecff3d77ff2dbc
SHA1: 554e920db6c7f9991423247cbabd7e9cfaac66f3
SHA256: 970325be12ffec657622a67edcbb1e4c48ee6b402e770cc0d734783efdcc51c9
SHA512: a8b90691e30337618f50310421cba261a3cc35534925b79d417cc088123d2f67efbad4540b146224184d1fe59d38c151101567ddb058fb359364a583c0902f1c
Homepage: https://clash-lang.org/
Description: Derive KnownNat constraints from other KnownNat constraints
Description-md5: d9c9232ed59922d32db1219348465777
Ghc-Package: ghc-typelits-knownnat-0.7.7-EziVik3ySguCo4yHKK2yLw