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

Last updated: December 25,2024

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

This tutorial shows how to install libcoq-mathcomp-algebra on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-algebra
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-algebra" package

This is a short guide on how to uninstall libcoq-mathcomp-algebra on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-algebra
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-algebra
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: 25716
Depends: libcoq-mathcomp-fingroup (= 1.14.0-7)
Breaks: libssreflect-coq (<= 1.14.0-7)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-algebra_1.14.0-7_all.deb
Size: 7358598
MD5sum: b1a2afccd45fc34f5e7ed4633ab22faa
SHA1: fecc99b0647812fabe45fef7dc231f530ea0ccc1
SHA256: d5113dc7d1c324c4befd10cedc139064886b4091c147a09d436e6e7971ada281
SHA512: 464911d8ba5e3ce9793bfdc0d9c42efe8bcd616abfed9b6dd5ec7a7501e2970b0d8972bd074380205d918ea0bc241f6c0b0de5a4097e6635916063188bcf8ecb
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (algebra)
Description-md5: 402a51057693053e1578bf2afd16f6e3