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

Last updated: December 21,2024

You can also install and uninstall the libcoq-mathcomp-character 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-character" package

This is a short guide on how to install libcoq-mathcomp-character on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-character
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-character" package

This guide let you learn how to uninstall libcoq-mathcomp-character on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-character
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-character
Architecture: all
Version: 1.14.0-7
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: 14188
Depends: libcoq-mathcomp-field (= 1.14.0-7)
Breaks: libssreflect-coq (<= 1.14.0-7)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-character_1.14.0-7_all.deb
Size: 4591548
MD5sum: 174f23d245d8bac9649bef63401dd8ec
SHA1: 311fab0973238020e556ae3da899736212a3e51d
SHA256: cfcc72af7ea98bb118fac095b983a9f0d64e00783ca3236d1edb89869ec12cbb
SHA512: 16ce78256e5ec820480748d43762a945af83404a037a72a5503396dabedea6d7af0083a80978c2d1bb4c2846d2359f631b98bd0e87728e0a4e9a31d6dad5b9a0
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (character)
Description-md5: b3a4f562c34593b33ba8ad962a117066