How to Install and Uninstall libcoq-mathcomp-fingroup Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 17,2024

1. Install "libcoq-mathcomp-fingroup" package

This guide covers the steps necessary to install libcoq-mathcomp-fingroup on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-fingroup
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-fingroup" package

Learn how to uninstall libcoq-mathcomp-fingroup on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-fingroup
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mathcomp-fingroup package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcoq-mathcomp-fingroup
Architecture: amd64
Version: 1.17.0-1build1
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: 7473
Provides: libcoq-mathcomp-fingroup-rls73
Depends: libcoq-mathcomp-ssreflect (= 1.17.0-1build1), libcoq-stdlib-zp202
Breaks: libssreflect-coq (<= 1.17.0-1build1)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-fingroup_1.17.0-1build1_amd64.deb
Size: 2138362
MD5sum: a92733f55e29e55059436032804665e0
SHA1: 181ee558da73e34c390ad2eacb61c8318f5aad46
SHA256: 52ec1c55fa4a479dac733ac750b35b0ff50081c5073840d2df85ebb8e6a4c6b0
SHA512: 6255a83f50ef14c01cbf02c83aa7cbcfde654f2057fc733bf3468366863edd9e2fd29012e5af59a542ffbb2bf9cd9b2d8b0a17405b504bbb712dab8fea7fcebb
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (finite groups)
Description-md5: a3c104270704751f92a4ae03a396fd7b