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

Last updated: November 22,2024

You can also install and uninstall the libghc-microlens-dev on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libghc-microlens-dev" package

Please follow the instructions below to install libghc-microlens-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-microlens-dev
            
                    
    
    Copied

2. Uninstall "libghc-microlens-dev" package

Please follow the step by step instructions below to uninstall libghc-microlens-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-microlens-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-microlens-dev
Source: haskell-microlens (0.4.12.0-1)
Version: 0.4.12.0-1+b3
Installed-Size: 641
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-microlens-dev-0.4.12.0-64970
Depends: libghc-base-dev-4.15.1.0-6a406, libc6 (>= 2.2.5), libgmp10 (>= 2:6.2.1+dfsg1)
Description: a tiny part of the lens library with no dependencies
Description-md5: cb3773f71c1f4e9d778a1869d648abe8
Homepage: http://github.com/monadfix/microlens
Ghc-Package: microlens-0.4.12.0-1fJvmROd5lxEQCLdQ6LGgk
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-microlens/libghc-microlens-dev_0.4.12.0-1+b3_amd64.deb
Size: 72756
MD5sum: 85a03a8df19728ab74bd0f8586fb3852
SHA256: 2d6709869512937692b0e20709aeae5046a409568245af2ce865d4a2f37b523c