How to Install and Uninstall libcoq-mathcomp-bigenough Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: February 24,2025

1. Install "libcoq-mathcomp-bigenough" package

This tutorial shows how to install libcoq-mathcomp-bigenough on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-bigenough
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-bigenough" package

Please follow the guidance below to uninstall libcoq-mathcomp-bigenough on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-bigenough
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mathcomp-bigenough package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcoq-mathcomp-bigenough
Architecture: amd64
Version: 1.0.1-12build2
Priority: optional
Section: universe/ocaml
Source: mathcomp-bigenough
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 94
Provides: libcoq-mathcomp-bigenough-z7cm6
Depends: libcoq-mathcomp-ssreflect-s8sz2
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-bigenough/libcoq-mathcomp-bigenough_1.0.1-12build2_amd64.deb
Size: 27308
MD5sum: 7a78b331e7d934d93ac3884daf4c3784
SHA1: e7e70ca61e42e0db4460e578bc5f3a9666785551
SHA256: dd389a2f6cb360be3eb47d182b45a7ff76d4b0bdff8c4cb1fd16a663f2c763fb
SHA512: b3f1b305fbecc5d6e924f26582c8ea3742c236da2360a94507b80d150da467a11fd5b8d54d7232c83e52d5d65eb8810fb8bcf3f2d65ff8180d8d9300080792c3
Homepage: https://github.com/math-comp/bigenough
Description: epsilon - N reasoning for Mathematical Components
Description-md5: 26e8e5e21a24c4debe89c2a7a20bcad8