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

Last updated: November 22,2024

1. Install "libcoq-bignums" package

Please follow the step by step instructions below to install libcoq-bignums on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-bignums
            
                    
    
    Copied

2. Uninstall "libcoq-bignums" package

This tutorial shows how to uninstall libcoq-bignums on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-bignums
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-bignums
Source: coq-bignums
Version: 9.0.0+coq8.18-1
Installed-Size: 8394
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-bignums-z0ff0
Depends: libcoq-stdlib-6gs52
Size: 1812628
SHA256: 205c2f08bcd46eb83b690326d82c73c622a192d60beb54cb80a19dd2211df5ce
SHA1: 45aa0b51cc1aa6ceb11698a43271edf9115cc241
MD5sum: 28394b7b657ce8fefab33ab050584c4d
Description: Coq library for big numbers
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.
Description-md5:
Homepage: https://github.com/coq-community/bignums
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-bignums/libcoq-bignums_9.0.0+coq8.18-1_amd64.deb