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

Last updated: May 20,2024

1. Install "libcoq-mathcomp-algebra" package

Here is a brief guide to show you how to install libcoq-mathcomp-algebra on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-algebra
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-algebra" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-algebra
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-algebra
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: 37351
Provides: libcoq-mathcomp-algebra-rarb2
Depends: libcoq-mathcomp-fingroup (= 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-algebra_2.1.0-1build2_amd64.deb
Size: 10319590
MD5sum: 1cba839e78809d8e524e765babafb983
SHA1: c8433747e908ba5cf538e1499060f8f6146f3a69
SHA256: d955546cc6ca05504c5775d56fa7a8dea0a2d6c53447ccd51239a5d55c98853a
SHA512: fe5a1b962a5a8d159db4b1d1dcc4c9f77c4ef6e8b058bf4bf6bfd6b9bea3cb8f602e798cf27c82cf7891d644c3dd2c812e97640e9ad7b9b5588fc73577866b25
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (algebra)
Description-md5: 402a51057693053e1578bf2afd16f6e3