How to Install and Uninstall libcoq-paramcoq Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 03,2024

1. Install "libcoq-paramcoq" package

Please follow the guidance below to install libcoq-paramcoq on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-paramcoq
            
                    
    
    Copied

2. Uninstall "libcoq-paramcoq" package

Please follow the step by step instructions below to uninstall libcoq-paramcoq on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-paramcoq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-paramcoq package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcoq-paramcoq
Architecture: amd64
Version: 1.1.3+coq8.18-1
Priority: optional
Section: universe/ocaml
Source: paramcoq
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 865
Provides: libcoq-paramcoq-jfuz3
Depends: libcoq-stdlib-ncp86
Filename: pool/universe/p/paramcoq/libcoq-paramcoq_1.1.3+coq8.18-1_amd64.deb
Size: 149890
MD5sum: 5d37638abae814b0fd11656140d0c8e8
SHA1: 0d9039e18278c8597b5435de6af94f9b47a99508
SHA256: 04ef6a826714d04f12cf07bdf5b31d7a345f8c24e9ecc44d9786c78b8e3f2713
SHA512: 9c2c7ede2fe99d76b4ea96d666e6026bb76f640a08d134dcd434c5a4d76cbf1ced189ec476b95ce6a8907d1a0541dd44275aec7af1d4e40e7190e50801e8eecd
Homepage: https://github.com/coq-community/paramcoq/
Description: Coq plugin to generate parametricity statements
Description-md5: 0f313fc531ec3a334d5921ce381c273c