How to Install and Uninstall libghc-ghc-typelits-extra-dev Package on Kali Linux

Last updated: May 17,2024

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

In this section, we are going to explain the necessary steps to install libghc-ghc-typelits-extra-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

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

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

This guide covers the steps necessary to uninstall libghc-ghc-typelits-extra-dev on Kali Linux:


    
        
            $
        

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


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-ghc-typelits-extra-dev package on Kali Linux

Package: libghc-ghc-typelits-extra-dev
Source: haskell-ghc-typelits-extra (0.4.6-1)
Version: 0.4.6-1+b1
Installed-Size: 787
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-ghc-typelits-extra-dev-0.4.6-f94b2
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-containers-dev-0.6.7-a1650, libghc-ghc-bignum-dev-1.3-90d8c, libghc-ghc-dev-9.4.7-ea902, libghc-ghc-prim-dev-0.9.1-ca9fc, libghc-ghc-tcplugins-extra-dev-0.4.5-ab127, libghc-ghc-typelits-knownnat-dev-0.7.9-f6a8f, libghc-ghc-typelits-natnormalise-dev-0.7.9-da8e4, libghc-transformers-dev-0.5.6.2-931c3, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg), libtinfo6 (>= 6)
Size: 100252
SHA256: 97c8bdc99e5d9defc8105c770d82ce95a55898e3a30c4ecebce7e5ab6441e8fb
SHA1: b831fc734f8c8e07445fa8c6aa521844fa2969fb
MD5sum: c97184952c0311d5bcf1a6abdfe568a1
Description: Additional type-level operations on GHC.TypeLits.Nat
Operations:
.
* Max: type-level max
.
* Min: type-level min
.
* Div: type-level div
.
* Mod: type-level mod
.
* FLog: type-level equivalent of integerLogBase
i.e. the exact integer equivalent to floor (logBase x y)
.
* CLog: type-level equivalent of the ceiling of integerLogBase
i.e. the exact integer equivalent to ceiling (logBase x y)
.
* Log: type-level equivalent of integerLogBase
where the operation only reduces when floor (logBase b x) ~ ceiling (logBase
b x)
.
* GCD: a type-level gcd
.
* LCM: a type-level lcm
.
And a custom solver for the above operations defined in
GHC.TypeLits.Extra.Solver as a GHC type-checker plugin. To use the plugin,
add the
.
OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver
.
pragma to the header of your file.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5:
Homepage: https://www.clash-lang.org/
Ghc-Package: ghc-typelits-extra-0.4.6-JvEL6iN5fY83uVSLtiPdYr
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-ghc-typelits-extra/libghc-ghc-typelits-extra-dev_0.4.6-1+b1_amd64.deb