How to Install and Uninstall libcoq-mathcomp-zify Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 25,2024

1. Install "libcoq-mathcomp-zify" package

Please follow the steps below to install libcoq-mathcomp-zify on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-zify
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-zify" package

Here is a brief guide to show you how to uninstall libcoq-mathcomp-zify on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-zify
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mathcomp-zify package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcoq-mathcomp-zify
Architecture: amd64
Version: 1.3.0+1.12+8.13-1build1
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: 1213
Provides: libcoq-mathcomp-zify-dwi10
Depends: libcoq-mathcomp-algebra-q3ad3
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-zify/libcoq-mathcomp-zify_1.3.0+1.12+8.13-1build1_amd64.deb
Size: 258566
MD5sum: 9fa439f18f89400401c115f773cf7e5f
SHA1: fe669f38f3cce653b6d6673eb35886be1e832b94
SHA256: 4e565630accd6445bf0dd79f3d38487f98c90de8539b1d3f135448c15b98d98f
SHA512: 1318d5cd17cffaaae9326d771502912230cf0cbbb0d57ed4385d6d7a33c9e4f274e02da2dc0ceb9f166f91e00b77634b6bb1cb19c5d0efa02091f74f8d009ba4
Homepage: https://github.com/math-comp/mczify
Description: Micromega arithmetic solvers for Mathematical Components
Description-md5: 8ebd7c2d5b5c152562b3095d68876570