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

Last updated: October 06,2024

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

MX Linux 23
SparkyLinux

1. Install "libcoq-stdlib" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-stdlib
            
                    
    
    Copied

2. Uninstall "libcoq-stdlib" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-stdlib
Source: coq (8.16.1+dfsg-1)
Version: 8.16.1+dfsg-1+b2
Installed-Size: 139787
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq-libs (<< 8.2.pl1), coq-theories
Provides: coq-theories (= 8.16.1+dfsg-1+b2), libcoq-stdlib-ewsr6
Recommends: coq (>= 8.0)
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1), coq-theories
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e
Homepage: http://coq.inria.fr/
Section: math
Priority: optional
Filename: pool/main/c/coq/libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb
Size: 21526056
MD5sum: cf6430defd7199bacc9ea257e459b608
SHA256: 8041ed20fb162a30553e273d9d3e8a3e67d97e08020b604af2402cc4be2e6431