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

Last updated: May 17,2024

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

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

Please follow the guidelines below to install libcoq-bignums-ocaml-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-bignums-ocaml-dev
            
                    
    
    Copied

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

Please follow the steps below to uninstall libcoq-bignums-ocaml-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-bignums-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-bignums-ocaml-dev
Source: coq-bignums
Version: 8.15.0-7
Installed-Size: 47
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-bignums-ocaml-dev-v7o79
Depends: libcoq-bignums-ocaml (= 8.15.0-7), libcoq-bignums-ocaml-v7o79, libcoq-core-ocaml-dev-0hk34, libzarith-ocaml-dev-4dps0, ocaml-4.13.1
Size: 9144
SHA256: 1e7f5c50353ce70cb806067fb587b7ab041799e3802eeab9e54032f5cd764183
SHA1: ca31759176c0c976a33852d6896c637ac69dcb04
MD5sum: 3f323490b27943cb88dd81f4185b9480
Description: Coq library for big numbers (devel)
This package provides big numbers (natural numbers,
integers and rationals) in Coq, as BigN, BigZ and BigQ,
which used to be part of the standard library.
.
Coq is a proof assistant for higher-order logic.
.
This package provides the libraries to develop with the plugin.
Description-md5: 13eae3752ec180fd5de00f5e153caded
Homepage: https://github.com/coq-community/bignums
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-bignums/libcoq-bignums-ocaml-dev_8.15.0-7_amd64.deb