How to Install and Uninstall coqprime-tools Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 13,2024

1. Install "coqprime-tools" package

This tutorial shows how to install coqprime-tools on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coqprime-tools
            
                    
    
    Copied

2. Uninstall "coqprime-tools" package

Here is a brief guide to show you how to uninstall coqprime-tools on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coqprime-tools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coqprime-tools package on Ubuntu 24.04 LTS (Noble Numbat)

Package: coqprime-tools
Architecture: amd64
Version: 8.18-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: 774
Depends: libcoq-coqprime (= 8.18-1), ocaml-base-nox | ocaml-base, libc6 (>= 2.34), libecm1 (>= 7.0.5+ds), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/c/coqprime/coqprime-tools_8.18-1_amd64.deb
Size: 389252
MD5sum: 56a3f67bac7d61cf98b7a55bc53b71db
SHA1: e15ad81acd3baf4696a7d196ebb1efbf483dec67
SHA256: 51707d6ec606680d572370d5c40db74243d26d84f3c272398d58afdb8e1b691c
SHA512: 9628c8e77e50525bf9b35ee609d4c52040f2391ff12f46f24579d62e7a51c6a4ce6a9f677f75c80308558d2c043f8a38bcec24689ea61a06529780ede25fcc19
Homepage: https://github.com/thery/coqprime
Description: Primality certification for Coq (tools)
Description-md5: 4282c65e7beec6bbf7b85c3bb7bc25ed