How to Install and Uninstall libcoq-core-ocaml-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 07,2024

1. Install "libcoq-core-ocaml-dev" package

This tutorial shows how to install libcoq-core-ocaml-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-core-ocaml-dev
            
                    
    
    Copied

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

This tutorial shows how to uninstall libcoq-core-ocaml-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                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 Ubuntu 23.10 (Mantic Minotaur)

Package: libcoq-core-ocaml-dev
Architecture: amd64
Version: 8.17.0+dfsg-1build1
Priority: optional
Section: universe/ocaml
Source: coq
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 188509
Provides: libcoq-core-ocaml-dev-2qnm1, libcoq-ocaml-dev (= 8.17.0+dfsg-1build1)
Depends: coq (= 8.17.0+dfsg-1build1), libcoq-core-ocaml-2qnm1, libfindlib-ocaml-dev-0thr1, libzarith-ocaml-dev-ai549, ocaml-4.13.1
Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
Filename: pool/universe/c/coq/libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb
Size: 49902006
MD5sum: ce96a98517885eb7907188846188453f
SHA1: 004219a0145924a1577f491df02e4b8878cf2d36
SHA256: 4d8510a1cd6b305d5bdc8a9bdf6a8c3e19d97b28a9ec8222bc506587a728f3bd
SHA512: a31eeca816a59ac08b78246ebe52df80749795cca13886657cbfcc99253457b0bb558940ad77c0e2d9e84df3080780d3a6a1671928a1218e0a557f7bce1cff3c
Homepage: http://coq.inria.fr/
Description: development libraries and tools for Coq
Description-md5: 087097b71994724756abfbecea1882b9