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

Last updated: December 29,2024

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

MX Linux 23
SparkyLinux

1. Install "libcoq-core-ocaml" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-core-ocaml
            
                    
    
    Copied

2. Uninstall "libcoq-core-ocaml" package

Here is a brief guide to show you how to uninstall libcoq-core-ocaml on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-core-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-core-ocaml
Source: coq (8.16.1+dfsg-1)
Version: 8.16.1+dfsg-1+b2
Installed-Size: 81507
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq (<< 8.3~), coq-libs, libcoq-ocaml, libcoq-ocaml-dev (<< 8.3~)
Provides: libcoq-core-ocaml-cpf60, libcoq-ocaml (= 8.16.1+dfsg-1+b2)
Depends: libfindlib-ocaml-0thr1, libzarith-ocaml-4dps0, ocaml-base-4.13.1, libc6 (>= 2.4)
Suggests: ocaml-findlib
Breaks: coq (<< 8.3~), coq-libs, libcoq-ocaml, libcoq-ocaml-dev (<< 8.3~)
Description: runtime libraries for Coq
Description-md5: 6f9fa9509e05b95dc040fa6f750867c3
Homepage: http://coq.inria.fr/
Section: ocaml
Priority: optional
Filename: pool/main/c/coq/libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb
Size: 22556068
MD5sum: fbfe217ba4c5885cf4e781483300d541
SHA256: c796433dbebc58bab6c26d33deba19e8efdfc32fcc4d69332ca90774966210e3