How to Install and Uninstall libcoq-mathcomp-zify Package on Debian 12 (Bookworm)

Last updated: May 10,2024

You can also install and uninstall the libcoq-mathcomp-zify on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libcoq-mathcomp-zify" package

Here is a brief guide to show you how to install libcoq-mathcomp-zify on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-zify
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-zify" package

Please follow the step by step instructions below to uninstall libcoq-mathcomp-zify on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-zify
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mathcomp-zify package on Debian 12 (Bookworm)

Package: libcoq-mathcomp-zify
Source: mathcomp-zify (1.2.0+1.12+8.13-6)
Version: 1.2.0+1.12+8.13-6+b4
Installed-Size: 1230
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-mathcomp-zify-afoe7
Depends: libcoq-mathcomp-algebra-ns1c5
Suggests: ocaml-findlib
Description: Micromega arithmetic solvers for Mathematical Components
Description-md5: 8ebd7c2d5b5c152562b3095d68876570
Homepage: https://github.com/math-comp/mczify
Section: ocaml
Priority: optional
Filename: pool/main/m/mathcomp-zify/libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_amd64.deb
Size: 228480
MD5sum: bcb2a62e62208ae01be654ce3bae9b67
SHA256: 7e4b12f7fd0c0387bf43a3e0256376d2b10b36ac03e0fd2a1c6c5f48c5bb8a98