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

Last updated: November 22,2024

1. Install "libcoq-mathcomp-zify" package

Here is a brief guide to show you how to install libcoq-mathcomp-zify on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-zify
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-zify" package

Please follow the guidance below to uninstall libcoq-mathcomp-zify on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-zify
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-zify
Architecture: amd64
Version: 1.5.0+2.0+8.16-1build2
Priority: optional
Section: universe/ocaml
Source: mathcomp-zify
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1323
Provides: libcoq-mathcomp-zify-2hkh2
Depends: libcoq-mathcomp-algebra-rarb2
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-zify/libcoq-mathcomp-zify_1.5.0+2.0+8.16-1build2_amd64.deb
Size: 272944
MD5sum: 4b3ca3cb2507dd2a181842aba032d414
SHA1: 93effacfbb86ca8d857f0c3b5ccd484d4c56c953
SHA256: df7a1920e5be5c6282924545e0d67cdac9a43e787c165d5ddf759f0fcf5c1b44
SHA512: 4f7b5f393d3e2b315266009883884eb417ecca8eb7e849ecfbf0a6027fd1010fc24bc20b2abf354d2a3e40c9b4878893214d3d275f451b7c19fa95fcf1245ea9
Homepage: https://github.com/math-comp/mczify
Description: Micromega arithmetic solvers for Mathematical Components
Description-md5: 8ebd7c2d5b5c152562b3095d68876570