How to Install and Uninstall libcoq-ocaml-dev Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 05,2024

1. Install "libcoq-ocaml-dev" package

Please follow the guidance below to install libcoq-ocaml-dev on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libcoq-ocaml-dev" package

This tutorial shows how to uninstall libcoq-ocaml-dev on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-ocaml-dev package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libcoq-ocaml-dev
Architecture: amd64
Version: 8.6-5build1
Priority: optional
Section: universe/libdevel
Source: coq
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 64035
Provides: libcoq-ocaml-dev-ywd98
Depends: coq (= 8.6-5build1), camlp5-ps9p6, libcoq-ocaml-ywd98, liblablgtk2-ocaml-dev-il3k6, liblablgtksourceview2-ocaml-dev-rynx6, ocaml-nox-4.05.0, libc6 (>= 2.17)
Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
Filename: pool/universe/c/coq/libcoq-ocaml-dev_8.6-5build1_amd64.deb
Size: 13815188
MD5sum: 2fe0f86b9a12573a3144ef837123e4e5
SHA1: 4a43cc5c2f3c805668183ce221438e1f9d0bcb80
SHA256: d295faf897d69145a34fe5befc95a467b98397488f8ab94c140829739fc7804b
Homepage: http://coq.inria.fr/
Description: development libraries and tools for Coq
Description-md5: 20fc8d3bd8105efbd11433f6f367dc08