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

Last updated: May 19,2024

You can also install and uninstall the libghc-copilot-theorem-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-copilot-theorem-dev" package

Please follow the guidance below to install libghc-copilot-theorem-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-copilot-theorem-dev
            
                    
    
    Copied

2. Uninstall "libghc-copilot-theorem-dev" package

This tutorial shows how to uninstall libghc-copilot-theorem-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-copilot-theorem-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-copilot-theorem-dev
Source: haskell-copilot-theorem
Version: 3.13-1
Installed-Size: 5356
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-copilot-theorem-dev-3.13-667ed
Depends: libghc-base-dev-4.15.1.0-6a406, libghc-bimap-dev-0.5.0-e16f1, libghc-bv-sized-dev-1.0.4-82727, libghc-containers-dev-0.6.4.1-31c3b, libghc-copilot-core-dev-3.13-db5ae, libghc-copilot-prettyprinter-dev-3.13-91705, libghc-data-default-dev-0.7.1.1-6d3b3, libghc-directory-dev-1.3.6.2-311c9, libghc-libbf-dev-0.6.5.1-82182, libghc-mtl-dev-2.2.2-e3bae, libghc-panic-dev-0.4.0.1-95384, libghc-parameterized-utils-dev-2.1.5.0-7c4ad, libghc-parsec-dev-3.1.14.0-377f0, libghc-pretty-dev-1.1.3.6-b017f, libghc-process-dev-1.6.13.2-9f25f, libghc-random-dev-1.2.1.1-f840d, libghc-transformers-dev-0.5.6.2-fc6f3, libghc-what4-dev-1.3-7c6b4, libghc-xml-dev-1.3.14-9ace6, libc6 (>= 2.2.5), libgmp10 (>= 2:6.2.1+dfsg1), zlib1g (>= 1:1.1.4)
Description: k-induction for Copilot.
Description-md5: 6c922b3e178550cdaae179191fb949ec
Homepage: https://copilot-language.github.io
Ghc-Package: copilot-theorem-3.13-3g57Qm7aGXB3VSxwjK50fx
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-copilot-theorem/libghc-copilot-theorem-dev_3.13-1_amd64.deb
Size: 590456
MD5sum: 541fde082044df581df6286ada5e180e
SHA256: fb7bfaa3472497087dcf02dac491a76bd2651e2d37afa25128e6ff257b584b00