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

Last updated: May 20,2024

1. Install "libcoq-coquelicot" package

This tutorial shows how to install libcoq-coquelicot on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-coquelicot
            
                    
    
    Copied

2. Uninstall "libcoq-coquelicot" package

Please follow the guidance below to uninstall libcoq-coquelicot on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-coquelicot
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-coquelicot
Architecture: amd64
Version: 3.2.0-7build1
Priority: optional
Section: universe/ocaml
Source: coquelicot
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 13518
Provides: libcoq-coquelicot-cv3a5
Depends: libcoq-mathcomp-ssreflect-l9aa5
Filename: pool/universe/c/coquelicot/libcoq-coquelicot_3.2.0-7build1_amd64.deb
Size: 3764964
MD5sum: 83c5b0aa7b8ebddd4dc02b386e51f8af
SHA1: 66190b30253023aa164f42c5c3e0d58f6916c305
SHA256: 90492f6fb796bfcd6bc00d51f8284a76bae395e2f617934a5afe187ea8211f3d
SHA512: e19f3d00d0b5bb117a8bff458d044633043572aad0b08fd8a0795048cd621d8ca0a7983d27ca0f60b7abfaa219dcb48e03b86c94947f13ba95f577ac752ffa50
Homepage: https://coquelicot.saclay.inria.fr/
Description: Coq library for real analysis
Description-md5: 1a4a4a918ba48def79e1bc8e2e39dd79