How to Install and Uninstall libcoq-paramcoq Package on Debian 12 (Bookworm)

Last updated: December 28,2024

You can also install and uninstall the libcoq-paramcoq on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libcoq-paramcoq" package

This guide covers the steps necessary to install libcoq-paramcoq on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-paramcoq
            
                    
    
    Copied

2. Uninstall "libcoq-paramcoq" package

Please follow the guidelines below to uninstall libcoq-paramcoq on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-paramcoq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-paramcoq package on Debian 12 (Bookworm)

Package: libcoq-paramcoq
Source: paramcoq (1.1.3+coq8.16-3)
Version: 1.1.3+coq8.16-3+b1
Installed-Size: 883
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-paramcoq-epri8
Depends: libcoq-stdlib-ewsr6
Description: Coq plugin to generate parametricity statements
Description-md5: 0f313fc531ec3a334d5921ce381c273c
Homepage: https://github.com/coq-community/paramcoq/
Section: ocaml
Priority: optional
Filename: pool/main/p/paramcoq/libcoq-paramcoq_1.1.3+coq8.16-3+b1_amd64.deb
Size: 115748
MD5sum: 31f4776fdb7312e12b368f35ede352d6
SHA256: e125c08cc2497e4a47a4d96935ef9a96facda547f29a7ba8bf075cd3b476ceab