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

Last updated: September 28,2024

1. Install "libcoq-mathcomp-field" package

Please follow the guidelines below to install libcoq-mathcomp-field on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-field
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-field" package

Learn how to uninstall libcoq-mathcomp-field on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-field
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-field
Architecture: amd64
Version: 1.15.0-1
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: 9495
Provides: libcoq-mathcomp-field-53tw8
Depends: libcoq-mathcomp-solvable (= 1.15.0-1), libcoq-stdlib-95ec4
Breaks: libssreflect-coq (<= 1.15.0-1)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-field_1.15.0-1_amd64.deb
Size: 3139414
MD5sum: b999f2df37d5962663876b47d89e5d0b
SHA1: 0db5a5719eadbafa95411bbb02268c870cd7dfae
SHA256: bb54bbdf4c3cd85a9b1d7818bead0f60337a9d57a764c5e991c904c13ecd33cd
SHA512: 1ff2e53637d66149bdb6446d8db35791a547b216aaabc3370f44ad12cc26ae54deb458c44184393b730789bc8c970f99fed5f36f623e670ff6abda51b51351ba
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (field)
Description-md5: 552c63b45c57eb8f41189849920f0be9