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

Last updated: May 19,2024

Deprecated! Installation of this package may no longer be supported.

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

Please follow the step by step instructions below to install libcoq-ocaml on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-ocaml
            
                    
    
    Copied

2. Uninstall "libcoq-ocaml" package

Please follow the step by step instructions below to uninstall libcoq-ocaml on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-ocaml package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libcoq-ocaml
Architecture: amd64
Version: 8.14.1+dfsg-1
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: 87602
Provides: libcoq-ocaml-zp342
Depends: libzarith-ocaml-6esu1, ocaml-base-nox-4.11.1, libc6 (>= 2.4)
Suggests: ocaml-findlib
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.14.1+dfsg-1_amd64.deb
Size: 26730958
MD5sum: 2604d00059aa61d6df1299a79bd1fa84
SHA1: 9f3bc4a05cc479a10ccb4c46c03c956bf2c9ca4b
SHA256: 62bf7041de0e79e54b527554d629f901690cf2e94e797c5c13cd8ca29dd798b1
SHA512: f7aaa661147775ef94fce40ed2d780755e58ba95e143539cf022f914e8e89375c961389eda9e489b6559d49ede3eb865f231ace8475cf66bd1292fa73a6c8e3d
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