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

Last updated: November 05,2024

1. Install "libcoq-mathcomp-zify" package

Please follow the guidance below to install libcoq-mathcomp-zify on Ubuntu 22.10 (Kinetic Kudu)

$ sudo apt update $ sudo apt install libcoq-mathcomp-zify

2. Uninstall "libcoq-mathcomp-zify" package

Please follow the guidance below to uninstall libcoq-mathcomp-zify on Ubuntu 22.10 (Kinetic Kudu):

$ sudo apt remove libcoq-mathcomp-zify $ sudo apt autoclean && sudo apt autoremove

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

Package: libcoq-mathcomp-zify
Architecture: amd64
Version: 1.2.0+1.12+8.13-6build1
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: 1238
Provides: libcoq-mathcomp-zify-aaqo0
Depends: libcoq-mathcomp-algebra-7dw52
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-zify/libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build1_amd64.deb
Size: 269538
MD5sum: 85243af37dbe46d68db22232ddd79f02
SHA1: a8b88a7c979d79a267a2cc49593820a4b18c426e
SHA256: bbdd6247d16c11244df1924729fc83662cc5979feeec0cc7e64374a8fae81378
SHA512: 857f6025f0c00bd7bf60430055604709671f680479da169ef4f7e9445076745cccf62f6c8d320d6340a9da5cf19529a78c673f4c15bd60d1ca19c52495d050e5
Homepage: https://github.com/math-comp/mczify
Description: Micromega arithmetic solvers for Mathematical Components
Description-md5: 8ebd7c2d5b5c152562b3095d68876570