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

Last updated: November 21,2024

1. Install "libcoq-mathcomp-field" package

Learn how to install libcoq-mathcomp-field on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-field
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-field" package

This is a short guide on how to uninstall libcoq-mathcomp-field on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-field
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-field
Architecture: amd64
Version: 2.1.0-1build2
Priority: optional
Section: universe/math
Source: ssreflect
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 10960
Provides: libcoq-mathcomp-field-xztf6
Depends: libcoq-mathcomp-solvable (= 2.1.0-1build2), libcoq-hierarchy-builder-xj5v9, libcoq-stdlib-ncp86
Breaks: libssreflect-coq (<= 2.1.0-1build2)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-field_2.1.0-1build2_amd64.deb
Size: 3394532
MD5sum: 8bdf97baa26e8214db6ba03c3ed2ab92
SHA1: fa74ba4894b29b8cf48e92f0e8823e0d4f65d814
SHA256: 78507909aa70605639cd418b7aa647194550bf76a647b3abb8d818a8aabd4db2
SHA512: 6d25ca798455886b9d0908d17286e010d2bb92b360c4c2175712ec9028d4fdafc659c639070104d4e52682ed7d346e42a714803fcd59892033312840f05e8dde
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (field)
Description-md5: 552c63b45c57eb8f41189849920f0be9