How to Install and Uninstall libcoq-unimath Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: December 24,2024

1. Install "libcoq-unimath" package

This guide let you learn how to install libcoq-unimath on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-unimath
            
                    
    
    Copied

2. Uninstall "libcoq-unimath" package

Please follow the guidelines below to uninstall libcoq-unimath on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-unimath
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-unimath package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcoq-unimath
Architecture: amd64
Version: 20231010-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: 403485
Provides: libcoq-unimath-cgzn4
Depends: libcoq-stdlib-ncp86
Filename: pool/universe/c/coq-unimath/libcoq-unimath_20231010-1_amd64.deb
Size: 65531938
MD5sum: 4dbe567f84cb824c7bfddc4089460174
SHA1: 9de289be87e7c7bd490f2011fb26e3a5ede41008
SHA256: 62e731a29eb1592329b3fb143f3cb7d4704369cbbd7d4461f603a431bac06af3
SHA512: 987a6ae47a33f29cf6f24876c72612efab5610a845f0ab0789525a04c3c2988c5669ec9398fd7d6ffc9c9aaea5e6cbdc6058db6ba4785a6dac252a95d519e607
Homepage: https://github.com/UniMath/UniMath
Description: univalent formalization of mathematics for Coq
Description-md5: edbaa9c4853665d0d83d5a79d1b04ac7