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

Last updated: November 05,2024

1. Install "libcoq-mathcomp-bigenough" package

Please follow the step by step instructions below to install libcoq-mathcomp-bigenough on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-bigenough
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-bigenough" package

Please follow the instructions below to uninstall libcoq-mathcomp-bigenough on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-bigenough
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-bigenough
Architecture: amd64
Version: 1.0.1-8build1
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: 97
Provides: libcoq-mathcomp-bigenough-4qxk0
Depends: libcoq-mathcomp-ssreflect-l9aa5
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-bigenough/libcoq-mathcomp-bigenough_1.0.1-8build1_amd64.deb
Size: 27752
MD5sum: c724cbda0982fc0d4a7e3552282e6f7c
SHA1: af58b05214c69233fda1c5435d3fc8bcfa4a8aab
SHA256: 4c421bb22f329babf0d41cf6e693454b0705373d46bd32ffaaf44b789ebffa10
SHA512: 793ebbb4eefe1f5074fbdb18d896257eab235bcfa123892da45d6264173bd089025a40ceb5d1ea6256e44d9fc6ed8784f800570c4bbf5840318fc1a668c6bd59
Homepage: https://github.com/math-comp/bigenough
Description: epsilon - N reasoning for Mathematical Components
Description-md5: 26e8e5e21a24c4debe89c2a7a20bcad8