How to Install and Uninstall libghc-what4-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 25,2024

1. Install "libghc-what4-dev" package

This tutorial shows how to install libghc-what4-dev on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-what4-dev
            
                    
    
    Copied

2. Uninstall "libghc-what4-dev" package

Please follow the guidelines below to uninstall libghc-what4-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-what4-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-what4-dev package on Ubuntu 22.10 (Kinetic Kudu)

Package: libghc-what4-dev
Architecture: amd64
Version: 1.3-2
Priority: optional
Section: universe/haskell
Source: haskell-what4
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 37092
Provides: libghc-what4-dev-1.3-19726
Depends: libghc-async-dev-2.2.4-ed369, libghc-attoparsec-dev-0.14.4-81007, libghc-base-dev-4.15.1.0-7ed7d, libghc-bifunctors-dev-5.5.12-88437, libghc-bimap-dev-0.5.0-216ec, libghc-bv-sized-dev-1.0.4-c0a2f, libghc-bytestring-dev-0.10.12.1-2b657, libghc-concurrent-extra-dev-0.7.0.12-7ad7d, libghc-config-value-dev-0.8.2.1-5b4f7, libghc-containers-dev-0.6.4.1-51a1d, libghc-data-binary-ieee754-dev-0.4.4-f33e0, libghc-deepseq-dev-1.4.5.0-5b6f4, libghc-deriving-compat-dev-0.6.1-6d069, libghc-directory-dev-1.3.6.2-c0653, libghc-exceptions-dev-0.10.4-56182, libghc-filepath-dev-1.4.2.1-0176a, libghc-fingertree-dev-0.1.5.0-d4326, libghc-ghc-prim-dev-0.7.0-022d5, libghc-hashable-dev-1.3.5.0-19582, libghc-hashtables-dev-1.2.4.2-10ad6, libghc-io-streams-dev-1.5.2.1-b83b4, libghc-lens-dev-5.0.1-fe452, libghc-libbf-dev-0.6.3-fe3ad, libghc-mtl-dev-2.2.2-30320, libghc-panic-dev-0.4.0.1-eebc7, libghc-parameterized-utils-dev-2.1.5.0-a7e4e, libghc-prettyprinter-dev-1.7.1-82e9a, libghc-process-dev-1.6.13.2-c4cd2, libghc-scientific-dev-0.3.7.0-0c299, libghc-template-haskell-dev-2.17.0.0-64722, libghc-temporary-dev-1.3-67b1c, libghc-text-dev-1.2.5.0-31fc1, libghc-th-abstraction-dev-0.4.3.0-bb326, libghc-th-lift-dev-0.8.2-a20b1, libghc-th-lift-instances-dev-0.1.19-7a969, libghc-transformers-dev-0.5.6.2-90456, libghc-unordered-containers-dev-0.2.17.0-74873, libghc-utf8-string-dev-1.0.2-72eef, libghc-vector-dev-0.12.3.1-ae68a, libghc-versions-dev-5.0.3-11820, libghc-zenc-dev-0.1.2-b3ec2, libc6 (>= 2.29), libgmp10 (>= 2:6.2.1+dfsg1), zlib1g (>= 1:1.1.4)
Filename: pool/universe/h/haskell-what4/libghc-what4-dev_1.3-2_amd64.deb
Size: 4057306
MD5sum: ee667fb62f7a8b9901f522b585178702
SHA1: 5d4b2aa2b8804953240c50cb330410b66a2ba16e
SHA256: 35ce5c5fdcd33d23936ea486b65866629b71b9586a93cf3750342841af66bdcb
SHA512: 6ed6798a098e2c09a718dadb2581bdb177bdedd8e7fb08e01f74cb0a99c92ff792535407c9f446046b26f77b892f45a4c2e8bf3839912521dbb374f2094683ab
Homepage: https://github.com/GaloisInc/what4
Description: Solver-agnostic symbolic values support for issuing queries
Description-md5: 9c27eec9c19a913226e417630c5e5569
Ghc-Package: what4-1.3-HwjAwlowkJzCHAI3wjwnsI