How to Install and Uninstall libcoq-core-ocaml Package on Kali Linux

Last updated: May 15,2024

1. Install "libcoq-core-ocaml" package

Please follow the instructions below to install libcoq-core-ocaml on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-core-ocaml
            
                    
    
    Copied

2. Uninstall "libcoq-core-ocaml" package

Here is a brief guide to show you how to uninstall libcoq-core-ocaml on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-core-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-core-ocaml package on Kali Linux

Package: libcoq-core-ocaml
Source: coq
Version: 8.18.0+dfsg-1
Installed-Size: 83963
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq-libs, libcoq-ocaml
Provides: libcoq-core-ocaml-fg9y1, libcoq-ocaml (= 8.18.0+dfsg-1)
Depends: libfindlib-ocaml-449z9, libstdlib-ocaml-ep7y0, libzarith-ocaml-zlfv4, ocaml-base-4.14.1, libc6 (>= 2.4)
Suggests: ocaml-findlib
Breaks: coq-libs, libcoq-ocaml
Size: 23212704
SHA256: db436d8b98364f62a0b79c52ec7678780db58ec8af8f776ec53fc902bbbb4153
SHA1: a57d9c456771bb7e4c6c10589eae6594bbf25c1f
MD5sum: 4cc34386eea0c5342e4d76f1b6ab5cf5
Description: 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:
Homepage: http://coq.inria.fr/
Section: ocaml
Priority: optional
Filename: pool/main/c/coq/libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb