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

Last updated: June 29,2024

1. Install "libcoq-coqprime" package

This guide let you learn how to install libcoq-coqprime on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-coqprime
            
                    
    
    Copied

2. Uninstall "libcoq-coqprime" package

Learn how to uninstall libcoq-coqprime on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-coqprime
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-coqprime
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: 6949
Provides: libcoq-coqprime-40zy2
Depends: libcoq-bignums-mohl3, libcoq-stdlib-95ec4
Filename: pool/universe/c/coqprime/libcoq-coqprime_8.15-1_amd64.deb
Size: 1902992
MD5sum: ecae4f3bb7f4d9b4a75017c959e98fa4
SHA1: dcd55d7326c83a10d23716192002cb08fe64ad98
SHA256: f8392cb29d3df06f038f98ab00aa76b58a0c08a082eb6eced1c2f2d2546b044d
SHA512: a7eb7931bc3e16a895d631d198c00421cbe51d005936f4734968152028b3f2d5b83b6d916714c7fe6c5d01b3166a65423c7653a92a8186d8239de7ccd91b353c
Homepage: https://github.com/thery/coqprime
Description: Primality certification for Coq (library)
Description-md5: da1b9b42420ecfd09f7f3a29f0af36c8