How to Install and Uninstall libcoq-ocaml Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: December 29,2024

1. Install "libcoq-ocaml" package

Please follow the steps below to install libcoq-ocaml on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-ocaml
            
                    
    
    Copied

2. Uninstall "libcoq-ocaml" package

Please follow the steps below to uninstall libcoq-ocaml on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-ocaml package on Ubuntu 20.10 (Groovy Gorilla)

Package: libcoq-ocaml
Architecture: amd64
Version: 8.12.0-3build1
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: 28436
Provides: libcoq-ocaml-xtzl0
Depends: libcairo2-ocaml-qfkl1, liblablgtk3-ocaml-th2e5, liblablgtksourceview3-ocaml-9nb70, libnum-ocaml-f5qg6, ocaml-base-nox-4.08.1, libc6 (>= 2.4)
Breaks: coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~)
Replaces: coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~)
Filename: pool/universe/c/coq/libcoq-ocaml_8.12.0-3build1_amd64.deb
Size: 6712096
MD5sum: 2f107d7ff1414a6a5ea21833d7c61263
SHA1: e3333119a442e1c47176050f2a0852e9b96d2825
SHA256: 44cc852d6e717de6c358f835a29e7d58dd8d1cb0db654b44e228e1d501fbed69
SHA512: e736dbb3ca1fed399e7924c46b65366ec9891b135f900e74fb78a7ef5c1b62401e9447eedd329edcbf1254759027973980f0fb47b4fe727a253fde9bd3f83d5b
Homepage: http://coq.inria.fr/
Description-en: runtime libraries for Coq
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides runtime libraries for Coq.
Description-md5: 6f9fa9509e05b95dc040fa6f750867c3