How to Install and Uninstall libghc-copilot-theorem-prof Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: September 20,2024

1. Install "libghc-copilot-theorem-prof" package

This is a short guide on how to install libghc-copilot-theorem-prof on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-copilot-theorem-prof
            
                    
    
    Copied

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

In this section, we are going to explain the necessary steps to uninstall libghc-copilot-theorem-prof on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                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 Ubuntu 24.04 LTS (Noble Numbat)

Package: libghc-copilot-theorem-prof
Architecture: amd64
Version: 3.18.1-2
Priority: optional
Section: universe/haskell
Source: haskell-copilot-theorem
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5041
Provides: libghc-copilot-theorem-prof-3.18.1-a9b8e
Depends: libghc-base-prof-4.17.2.0-68dfe, libghc-bimap-prof-0.5.0-43092, libghc-bv-sized-prof-1.0.5-2fefd, libghc-containers-prof-0.6.7-a1650, libghc-copilot-core-prof-3.18.1-30079, libghc-copilot-prettyprinter-prof-3.18.1-dfed6, libghc-copilot-theorem-dev (= 3.18.1-2), libghc-data-default-prof-0.7.1.1-2d4d6, libghc-directory-prof-1.3.7.1-e5694, libghc-libbf-prof-0.6.6-aa647, libghc-mtl-prof-2.2.2-6f39a, libghc-panic-prof-0.4.0.1-848c2, libghc-parameterized-utils-prof-2.1.7.0-9f482, libghc-parsec-prof-3.1.16.1-a16ec, libghc-pretty-prof-1.1.3.6-1aa0a, libghc-process-prof-1.6.17.0-29e15, libghc-random-prof-1.2.1.1-68746, libghc-transformers-prof-0.5.6.2-931c3, libghc-what4-prof-1.5.1-d3112, libghc-xml-prof-1.3.14-d4306
Filename: pool/universe/h/haskell-copilot-theorem/libghc-copilot-theorem-prof_3.18.1-2_amd64.deb
Size: 563280
MD5sum: a1b88a6b699235e3b44121ada5d0db42
SHA1: b5b59e7b6626bf59e8cc992f4616ea4ca6f6f064
SHA256: 27c5fd8e3bf8cc323edc02e88e4c27b798248a5a7d03f572a95a11580a786b5b
SHA512: 2fa686a8b78e2e51aed5b24f3c00d72273aa0f8e5df3b8bb3014651d05963b11af02ee8f96f8ce53f7b4923ec3d650f7e6d7c590b8e0c1414a1b7eceb8a3c5f5
Homepage: https://copilot-language.github.io
Description: k-induction for Copilot.; profiling libraries
Description-md5: 0e7549443f808b00ba257830b38a07e2