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

Last updated: May 17,2024

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

1. Install "libcoq-bignums-ocaml" package

In this section, we are going to explain the necessary steps to install libcoq-bignums-ocaml on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-bignums-ocaml
            
                    
    
    Copied

2. Uninstall "libcoq-bignums-ocaml" package

This is a short guide on how to uninstall libcoq-bignums-ocaml on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-bignums-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-bignums-ocaml
Source: coq-bignums
Version: 8.15.0-7
Installed-Size: 60
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-bignums-ocaml-v7o79
Depends: libcoq-core-ocaml-0hk34, libzarith-ocaml-4dps0, ocaml-base-4.13.1
Size: 15436
SHA256: dd746d12c4c141f087269d487387cd92c9a8c4707641b9eb0442dea869e38341
SHA1: 2abc8dbd5c19661c0f575c233b67ebcf5c1778df
MD5sum: 119a55bebbf8b56f8a4fdf010fe39a84
Description: Coq library for big numbers (runtime)
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 runtime libraries for the plugin.
Description-md5: 3aea5c12d089b6b828ae75f1a4a1bb33
Homepage: https://github.com/coq-community/bignums
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-bignums/libcoq-bignums-ocaml_8.15.0-7_amd64.deb