How to Install and Uninstall coqprime-tools Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: July 05,2024

1. Install "coqprime-tools" package

Please follow the steps below to install coqprime-tools on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coqprime-tools
            
                    
    
    Copied

2. Uninstall "coqprime-tools" package

This tutorial shows how to uninstall coqprime-tools on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coqprime-tools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coqprime-tools package on Ubuntu 22.10 (Kinetic Kudu)

Package: coqprime-tools
Architecture: amd64
Version: 8.15-1
Priority: optional
Section: universe/ocaml
Source: coqprime
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 760
Depends: libcoq-coqprime (= 8.15-1), ocaml-base-nox | ocaml-base, libc6 (>= 2.34), libecm1 (>= 7.0.5+ds), libgmp10 (>= 2:6.2.1+dfsg)
Filename: pool/universe/c/coqprime/coqprime-tools_8.15-1_amd64.deb
Size: 179994
MD5sum: de1d56951cda4063e3182b2a140e7c31
SHA1: 392a2e4918dea270f1d5ed609462496728080f24
SHA256: 038b5ee823b02852f2b077e8799b4ecf4aac42eea0ee8fc6aaa2168fb5599326
SHA512: 2c9bf80cf8e36a8f3189828ae85909a6f3a4659ffb95cbf74ebb84069ec0b89512cf2aaee9067358d9552323119e55712c5580ae180f94f86dd3fb8d2c5250dc
Homepage: https://github.com/thery/coqprime
Description: Primality certification for Coq (tools)
Description-md5: 4282c65e7beec6bbf7b85c3bb7bc25ed