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

Last updated: May 04,2024

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

This tutorial shows how to install libcoq-core-ocaml-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-core-ocaml-dev
            
                    
    
    Copied

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

This tutorial shows how to uninstall libcoq-core-ocaml-dev on Kali Linux:


    
        
            $
        

        
            
                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 Kali Linux

Package: libcoq-core-ocaml-dev
Source: coq
Version: 8.18.0+dfsg-1
Installed-Size: 193577
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
Provides: libcoq-core-ocaml-dev-fg9y1, libcoq-ocaml-dev (= 8.18.0+dfsg-1)
Depends: coq (= 8.18.0+dfsg-1), libcoq-core-ocaml-fg9y1, libfindlib-ocaml-dev-449z9, libstdlib-ocaml-dev-ep7y0, libzarith-ocaml-dev-zlfv4, ocaml-4.14.1
Breaks: coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
Size: 44441076
SHA256: 01e414012ccc3dc2b01d2747c858af41699e04501f47bc53f929d52a6e04000f
SHA1: 53c18bef40b46e028a7d2609cec66b033590af88
MD5sum: d4abd913c60575bf13547464f6f0f046
Description: development libraries and tools 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 and libraries needed to develop OCaml-side
extensions to Coq.
Description-md5:
Homepage: http://coq.inria.fr/
Section: ocaml
Priority: optional
Filename: pool/main/c/coq/libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb