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

Last updated: May 13,2024

You can also install and uninstall the libcoq-core-ocaml-dev 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-dev" package

Learn how to install libcoq-core-ocaml-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-core-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libcoq-core-ocaml-dev" package

Please follow the steps below to uninstall libcoq-core-ocaml-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-core-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-core-ocaml-dev
Source: coq (8.16.1+dfsg-1)
Version: 8.16.1+dfsg-1+b2
Installed-Size: 186762
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
Provides: libcoq-core-ocaml-dev-cpf60, libcoq-ocaml-dev (= 8.16.1+dfsg-1+b2)
Depends: coq (= 8.16.1+dfsg-1+b2), libcoq-core-ocaml-cpf60, libfindlib-ocaml-dev-0thr1, libzarith-ocaml-dev-4dps0, ocaml-4.13.1
Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
Description: development libraries and tools for Coq
Description-md5: 087097b71994724756abfbecea1882b9
Homepage: http://coq.inria.fr/
Section: ocaml
Priority: optional
Filename: pool/main/c/coq/libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb
Size: 42725424
MD5sum: 7478c7296e4475a69cca0146e6eb0109
SHA256: cf725d92990afe1dd02e54beed68cf1c6d3c2c77043e67796136081820588200