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

Last updated: April 28,2024

1. Install "libcoq-mathcomp-finmap" package

This is a short guide on how to install libcoq-mathcomp-finmap on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-finmap
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-finmap" package

This tutorial shows how to uninstall libcoq-mathcomp-finmap on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-finmap
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-finmap
Architecture: amd64
Version: 1.5.2-3
Priority: optional
Section: universe/ocaml
Source: mathcomp-finmap
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1820
Provides: libcoq-mathcomp-finmap-jqtq9
Depends: libcoq-mathcomp-ssreflect-sunj9
Filename: pool/universe/m/mathcomp-finmap/libcoq-mathcomp-finmap_1.5.2-3_amd64.deb
Size: 808872
MD5sum: 2ab581f6630db8f89c15cd3061cb8181
SHA1: 465d24ad5792e16d99cdb81158c0cec4f8f39689
SHA256: fbad763d1ac94842901eead7a786a9274e34789eeadc801d44a44e704d106625
SHA512: 14e9056f989936b9130f97fe2a941df7b4dd6714412097c70731d8c23e4f1d82928f371b768b2572f17d8f19807a56a1a1ebee9ee636a7d0ba20df5eab85a7ed
Homepage: https://github.com/math-comp/finmap
Description: finite sets and maps extension for Mathematical Components
Description-md5: 63fd8b8831df7dce56a2700f0059d67c