How to Install and Uninstall coqprime-tools Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 18,2024

1. Install "coqprime-tools" package

In this section, we are going to explain the necessary steps to install coqprime-tools on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coqprime-tools
            
                    
    
    Copied

2. Uninstall "coqprime-tools" package

This is a short guide on how to uninstall coqprime-tools on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coqprime-tools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coqprime-tools package on Ubuntu 23.10 (Mantic Minotaur)

Package: coqprime-tools
Architecture: amd64
Version: 8.17-1build1
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.17-1build1), ocaml-base-nox | ocaml-base, libc6 (>= 2.34), libecm1 (>= 7.0.5+ds), libgmp10 (>= 2:6.2.1+dfsg1)
Filename: pool/universe/c/coqprime/coqprime-tools_8.17-1build1_amd64.deb
Size: 176548
MD5sum: 03c14d5324caf080085113f34f2507be
SHA1: 01b92e45c88bfdabcc2f0a10fc0138e10d511c59
SHA256: c0964f771d4ec2b3f067eb1903d7bfd5938e98e8018983281495627a2d06bdb3
SHA512: 4d8af779fc724088276138830e8c01021f62932790f6a9006cf4f55961605530473caf35d15301fbe5220c3e339a7206fb28ccc427b7824f9890c4d15d058520
Homepage: https://github.com/thery/coqprime
Description: Primality certification for Coq (tools)
Description-md5: 4282c65e7beec6bbf7b85c3bb7bc25ed