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

Last updated: November 22,2024

1. Install "libcoq-coqprime" package

Please follow the guidance below to install libcoq-coqprime on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-coqprime
            
                    
    
    Copied

2. Uninstall "libcoq-coqprime" package

Please follow the guidelines below to uninstall libcoq-coqprime on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-coqprime
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-coqprime
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: 7324
Provides: libcoq-coqprime-bqzx4
Depends: libcoq-bignums-cj7t4, libcoq-stdlib-zp202
Filename: pool/universe/c/coqprime/libcoq-coqprime_8.17-1build1_amd64.deb
Size: 2029430
MD5sum: 73724954090f98687840106f673486f2
SHA1: 57c6dd5378500eb7742e129f4dd900b572d22e2e
SHA256: 4c067efc0eac9cc97ee48f37cf0b7bfa7b275b2f3f6a41c881ce2ccfb55c5da7
SHA512: 4ee7afb590502f96c440f1563e5391cc4dd9be6835f02168f73b021245c780649a31c7ba1580d8c44941d729e443c70a42362626fac2acf60164dbc8a6f21840
Homepage: https://github.com/thery/coqprime
Description: Primality certification for Coq (library)
Description-md5: da1b9b42420ecfd09f7f3a29f0af36c8