How to Install and Uninstall libcoq-math-classes Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: July 05,2024

1. Install "libcoq-math-classes" package

This guide let you learn how to install libcoq-math-classes on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-math-classes
            
                    
    
    Copied

2. Uninstall "libcoq-math-classes" package

This guide let you learn how to uninstall libcoq-math-classes on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-math-classes
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-math-classes package on Ubuntu 22.10 (Kinetic Kudu)

Package: libcoq-math-classes
Architecture: amd64
Version: 8.15.0-3
Priority: optional
Section: universe/ocaml
Source: coq-math-classes
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 13384
Provides: libcoq-math-classes-5jpw8
Depends: libcoq-bignums-mohl3, libcoq-stdlib-95ec4
Filename: pool/universe/c/coq-math-classes/libcoq-math-classes_8.15.0-3_amd64.deb
Size: 3435242
MD5sum: 26ce350d16a9431635660665068dfe9d
SHA1: 5771d92f194822cd8667f18b54156b5b656188a3
SHA256: 06286942aa8b0622ab745f806b1aa6b2a9cb67eaafe040f4643cb502c6a5f0c4
SHA512: 8780fc46d655f1bf70fe5ee0903f132e9e3855aef121b3a943cdf012dc25a541b1b97cb318d4da3bac0160899ca91c803e1df42d0a79c92068c28c90273727ed
Homepage: https://github.com/coq-community/math-classes
Description: Abstract interfaces for mathematical structures for Coq
Description-md5: d978edd31349c76fed385af09374b402