How to Install and Uninstall libcoq-paramcoq Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 03,2024

1. Install "libcoq-paramcoq" package

In this section, we are going to explain the necessary steps to install libcoq-paramcoq on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-paramcoq
            
                    
    
    Copied

2. Uninstall "libcoq-paramcoq" package

Learn how to uninstall libcoq-paramcoq on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-paramcoq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-paramcoq package on Ubuntu 22.10 (Kinetic Kudu)

Package: libcoq-paramcoq
Architecture: amd64
Version: 1.1.3-7
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: 23
Provides: libcoq-paramcoq-8h1g5
Depends: libcoq-paramcoq-ocaml (= 1.1.3-7)
Filename: pool/universe/p/paramcoq/libcoq-paramcoq_1.1.3-7_amd64.deb
Size: 3062
MD5sum: c0f698f45ea5d344d4f092bd8e17ebbc
SHA1: 4f1c641a66f8261442a9c3cae4be2b0bfc130267
SHA256: ec30576341761002b61d1c4f2cd9f7af02b7edd948bc83e55a198e7877de10c5
SHA512: 1d4ee30de1725fee4d0b511be5934622cbce0e6c13ac8548bbf90cc61eb2055b04b9ac17fdd3c8ce56c245d6542d35853a34dafdfb7e9378be6889d05fb26b08
Homepage: https://github.com/coq-community/paramcoq/
Description: Coq plugin to generate parametricity statements
Description-md5: 60a7b5dbd06ea66c55289f733c10b6c4