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

Last updated: February 17,2025

1. Install "libcoq-unimath" package

This tutorial shows how to install libcoq-unimath on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-unimath
            
                    
    
    Copied

2. Uninstall "libcoq-unimath" package

This tutorial shows how to uninstall libcoq-unimath on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-unimath
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-unimath
Architecture: amd64
Version: 20220816-1
Priority: optional
Section: universe/ocaml
Source: coq-unimath
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 366758
Provides: libcoq-unimath-zrpa7
Depends: libcoq-stdlib-95ec4
Filename: pool/universe/c/coq-unimath/libcoq-unimath_20220816-1_amd64.deb
Size: 52136848
MD5sum: 4b28dcf404616b5cc23992c5f0cc40d1
SHA1: bbd2a7be0f33cda25abeba4192491dc55ca644b6
SHA256: a9dbd5b08bba40c1f903f8de3356c544e09506df2d465a6f6ee6686bd9db88f7
SHA512: 49235acadd92b8a014a386843f50940e040b125690d5d410a0d33d6af49f2a63e2fb0f3cb84cf77606317307b2c8b7f082c6bf4b0751f223c858dba6a92ea87c
Homepage: https://github.com/UniMath/UniMath
Description: univalent formalization of mathematics for Coq
Description-md5: edbaa9c4853665d0d83d5a79d1b04ac7