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

Last updated: December 28,2024

1. Install "libcoq-mathcomp-real-closed" package

Learn how to install libcoq-mathcomp-real-closed on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-real-closed
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-real-closed" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-real-closed
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-real-closed
Architecture: amd64
Version: 1.1.3-1
Priority: optional
Section: universe/ocaml
Source: mathcomp-real-closed
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 9459
Provides: libcoq-mathcomp-real-closed-02ek8
Depends: libcoq-mathcomp-algebra-7dw52, libcoq-mathcomp-bigenough-4qxk0, libcoq-mathcomp-field-53tw8, libcoq-mathcomp-ssreflect-l9aa5
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-real-closed/libcoq-mathcomp-real-closed_1.1.3-1_amd64.deb
Size: 2639078
MD5sum: b829909000372140b4e3e6c5838e9306
SHA1: 44a5d060dda51cd9e770934248e41f701f491b7e
SHA256: 332d1f66aa87c2b70984b0e711b07f64b8263f432d3607864cbcb2d8304869e4
SHA512: ef29a52da5f2222a6b4a477e5ea921b1f8cd9f18892ddc8e046d2c355fbe3bc02e8a1d1f9168588d825d6b659c8c1377e19806482bca7a91922afba460baa659
Homepage: https://github.com/math-comp/real-closed
Description: Real closed fields for Mathematical Components
Description-md5: ac5dcf44ba4c1912a63545315e50c34a