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

Last updated: December 30,2024

1. Install "libcoq-coquelicot" package

This guide covers the steps necessary to install libcoq-coquelicot on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-coquelicot
            
                    
    
    Copied

2. Uninstall "libcoq-coquelicot" package

Here is a brief guide to show you how to uninstall libcoq-coquelicot on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-coquelicot
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-coquelicot
Architecture: amd64
Version: 3.3.1-1build1
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: 13566
Provides: libcoq-coquelicot-34q78
Depends: libcoq-mathcomp-ssreflect-sunj9
Filename: pool/universe/c/coquelicot/libcoq-coquelicot_3.3.1-1build1_amd64.deb
Size: 3771238
MD5sum: df46aae49a2b30888bae63d89b384203
SHA1: 5f4f0410979ff60782fba2dc3119b1b26e0adf39
SHA256: 169c0d53ac143d20fb2449c9cd5910a81c77247bab7ee8bdf69cee8b4c10d973
SHA512: bc6293af33067f394a91b66d2175f6765a6c42fbaabec855b95a61887925ef8da1612f29078221d9df07b0f3ede0330aec01916dfbe3cd5d6d1549501b22183f
Homepage: https://coquelicot.saclay.inria.fr/
Description: Coq library for real analysis
Description-md5: 1a4a4a918ba48def79e1bc8e2e39dd79