How to Install and Uninstall libcoq-ocaml Package on Debian 11 (Bullseye)

Last updated: October 05,2024

1. Install "libcoq-ocaml" package

This is a short guide on how to install libcoq-ocaml on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-ocaml
            
                    
    
    Copied

2. Uninstall "libcoq-ocaml" package

Please follow the guidelines below to uninstall libcoq-ocaml on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-ocaml package on Debian 11 (Bullseye)

Package: libcoq-ocaml
Source: coq (8.12.0-3)
Version: 8.12.0-3+b3
Installed-Size: 32701
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~)
Provides: libcoq-ocaml-xs455
Depends: libcairo2-ocaml-vwag2, liblablgtk3-ocaml-x0f80, liblablgtksourceview3-ocaml-5j5o8, libnum-ocaml-80ki3, ocaml-base-nox-4.11.1, libc6 (>= 2.2.5)
Breaks: coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~)
Description: runtime libraries for Coq
Description-md5: 6f9fa9509e05b95dc040fa6f750867c3
Homepage: http://coq.inria.fr/
Tag: role::shared-lib
Section: ocaml
Priority: optional
Filename: pool/main/c/coq/libcoq-ocaml_8.12.0-3+b3_amd64.deb
Size: 7758156
MD5sum: 2438578b8fce027a3be422d4ca2e7443
SHA256: 1e9ef830ee90b7e829e04009fb79637795c3cb8fbe16c9e39220a75d4fd05e92