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

Last updated: December 25,2024

1. Install "libcoq-coqprime" package

This guide let you learn how to install libcoq-coqprime on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-coqprime
            
                    
    
    Copied

2. Uninstall "libcoq-coqprime" package

Please follow the step by step instructions below to uninstall libcoq-coqprime on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-coqprime
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-coqprime
Source: coqprime
Version: 8.18-1
Installed-Size: 7343
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-coqprime-9o015
Depends: libcoq-bignums-z0ff0, libcoq-stdlib-6gs52
Size: 1750364
SHA256: 1010da09f988fa567355f4c797f6f5cc063d2c040245ed17a45a2fb681fbe7cc
SHA1: b58c93b2556076212b95b35ae1bc683f9c6a1519
MD5sum: a19ea59a4dabdca8a7ebcea55e06e1f2
Description: Primality certification for Coq (library)
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality
.
Coq is a proof assistant for higher-order logic.
.
This package contains the Coq library part.
Description-md5:
Homepage: https://github.com/thery/coqprime
Section: ocaml
Priority: optional
Filename: pool/main/c/coqprime/libcoq-coqprime_8.18-1_amd64.deb