How to Install and Uninstall libcoq-mathcomp-finmap Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: December 29,2024

You can also install and uninstall the libcoq-mathcomp-finmap on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "libcoq-mathcomp-finmap" package

This guide covers the steps necessary to install libcoq-mathcomp-finmap on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-finmap
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-finmap" package

Please follow the instructions below to uninstall libcoq-mathcomp-finmap on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-finmap
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mathcomp-finmap package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libcoq-mathcomp-finmap
Architecture: amd64
Version: 1.5.1-1
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: 1775
Depends: coq, libcoq-mathcomp-ssreflect
Filename: pool/universe/m/mathcomp-finmap/libcoq-mathcomp-finmap_1.5.1-1_amd64.deb
Size: 801668
MD5sum: a1369af63b9d906f56b2d5bd2257efaf
SHA1: 3b99f413e8ab25f885a01b7dbc01ffc1357ec303
SHA256: a208a40cc2d991923fbbb70e5d92ceeb251a035118a39fa1864fa562711185ed
SHA512: 16b7c8b43ed971896158166f607ea5bf42fba1d096aacb8481df5c35ff1ac151e202851399fae17d622acfb819434af93e63a1decb897b9bda69f3645819538b
Homepage: https://github.com/math-comp/finmap
Description: finite sets and maps extension for Mathematical Components
Description-md5: 63fd8b8831df7dce56a2700f0059d67c