How to Install and Uninstall libcoq-core-ocaml-dev Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 26,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 Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

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

This is a short guide on how to install libcoq-core-ocaml-dev on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-core-ocaml-dev
            
                    
    
    Copied

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

This is a short guide on how to uninstall libcoq-core-ocaml-dev on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                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 22.04 LTS (Jammy Jellyfish)

Package: libcoq-core-ocaml-dev
Architecture: amd64
Version: 8.15.0+dfsg-2
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: 159196
Provides: libcoq-core-ocaml-dev-aosg1, libcoq-ocaml-dev (= 8.15.0+dfsg-2)
Depends: coq (= 8.15.0+dfsg-2), libcoq-core-ocaml-aosg1, libzarith-ocaml-dev-4dps0, 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.15.0+dfsg-2_amd64.deb
Size: 45035496
MD5sum: 6233e2a440465efec8985ec9257f8937
SHA1: cab78936bd65e9eb3822a1e4115d4342bc766f2e
SHA256: d2d782ef68ae7886951bc0b0c06684803e9b075ef221ce22357e6d8e81505d44
SHA512: ffc44b123c4b56bbfa9e0267bef9f7aef292ff084d73b6faca426e4cafcae1fb3992fba7377ae6d653fbabc18fa52095f5ea8aedb9250de45894715ff7ce4ee1
Homepage: http://coq.inria.fr/
Description: development libraries and tools for Coq
Description-md5: 087097b71994724756abfbecea1882b9