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

Last updated: December 23,2024

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

Please follow the step by step instructions below to install libghc-copilot-theorem-prof on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-copilot-theorem-prof
            
                    
    
    Copied

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

Please follow the instructions below to uninstall libghc-copilot-theorem-prof on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-copilot-theorem-prof
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-copilot-theorem-prof
Source: haskell-copilot-theorem
Version: 3.13-1
Installed-Size: 4931
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-copilot-theorem-prof-3.13-667ed
Depends: libghc-base-prof-4.15.1.0-6a406, libghc-bimap-prof-0.5.0-e16f1, libghc-bv-sized-prof-1.0.4-82727, libghc-containers-prof-0.6.4.1-31c3b, libghc-copilot-core-prof-3.13-db5ae, libghc-copilot-prettyprinter-prof-3.13-91705, libghc-copilot-theorem-dev (= 3.13-1), libghc-data-default-prof-0.7.1.1-6d3b3, libghc-directory-prof-1.3.6.2-311c9, libghc-libbf-prof-0.6.5.1-82182, libghc-mtl-prof-2.2.2-e3bae, libghc-panic-prof-0.4.0.1-95384, libghc-parameterized-utils-prof-2.1.5.0-7c4ad, libghc-parsec-prof-3.1.14.0-377f0, libghc-pretty-prof-1.1.3.6-b017f, libghc-process-prof-1.6.13.2-9f25f, libghc-random-prof-1.2.1.1-f840d, libghc-transformers-prof-0.5.6.2-fc6f3, libghc-what4-prof-1.3-7c6b4, libghc-xml-prof-1.3.14-9ace6
Description: k-induction for Copilot.; profiling libraries
Description-md5: 0e7549443f808b00ba257830b38a07e2
Homepage: https://copilot-language.github.io
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-copilot-theorem/libghc-copilot-theorem-prof_3.13-1_amd64.deb
Size: 512192
MD5sum: 1d68f808564c09c27d06355c68618845
SHA256: 6d16e7427f9701366b5881ba06de39228c3026f8b1a647e3352a9873aa2e4458