How to Install and Uninstall libcoq-paramcoq Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 23,2024

1. Install "libcoq-paramcoq" package

Here is a brief guide to show you how to install libcoq-paramcoq on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-paramcoq
            
                    
    
    Copied

2. Uninstall "libcoq-paramcoq" package

Please follow the instructions below to uninstall libcoq-paramcoq on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-paramcoq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-paramcoq package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcoq-paramcoq
Architecture: amd64
Version: 1.1.3+coq8.17-2
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: 862
Provides: libcoq-paramcoq-bvrm5
Depends: libcoq-stdlib-zp202
Filename: pool/universe/p/paramcoq/libcoq-paramcoq_1.1.3+coq8.17-2_amd64.deb
Size: 129402
MD5sum: f1144e6f7359a21ac365f2800b41db6e
SHA1: e935ceb71d7b8ca33126526d5d03a7e30fd9ca9b
SHA256: bae257547678fdf424e01bae42c8c8e19e471bf8829938b251e90e1f9a08393c
SHA512: 3bf3928f1194784b46962512252b0911025d831789ef676ff128ca479f06084503022468f40b6dbd3da45ad3aece373fd501ef87209cc0f97134da5af574dd38
Homepage: https://github.com/coq-community/paramcoq/
Description: Coq plugin to generate parametricity statements
Description-md5: 0f313fc531ec3a334d5921ce381c273c