How to Install and Uninstall libcoq-mathcomp-analysis Package on Linux Mint 21 (Vanessa)
Last updated: December 24,2024
1. Install "libcoq-mathcomp-analysis" package
This guide covers the steps necessary to install libcoq-mathcomp-analysis on Linux Mint 21 (Vanessa)
$
sudo apt update
Copied
$
sudo apt install
libcoq-mathcomp-analysis
Copied
2. Uninstall "libcoq-mathcomp-analysis" package
Please follow the steps below to uninstall libcoq-mathcomp-analysis on Linux Mint 21 (Vanessa):
$
sudo apt remove
libcoq-mathcomp-analysis
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libcoq-mathcomp-analysis package on Linux Mint 21 (Vanessa)
Package: libcoq-mathcomp-analysis
Architecture: amd64
Version: 0.3.13-1
Priority: optional
Section: universe/ocaml
Source: mathcomp-analysis
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 22096
Depends: coq, libcoq-mathcomp-ssreflect
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-analysis_0.3.13-1_amd64.deb
Size: 6481442
MD5sum: ad93216dc506e98929f4bba3120de10f
SHA1: 0a91bf4fc53f7fdac04095d8bb7ed9db331cc72e
SHA256: e3dcae8aa777c7200b7fd7f00deee149124475b2f709e91fab2c4488d01d97c5
SHA512: 701324dbbdb0d8df9cc21812426bea736db3879184340f1215ca3b78d469cda0f811dcfb752890d99e760057e7bb07aa451ef2d35256240d363522dfb1d15bbe
Homepage: https://github.com/math-comp/analysis
Description: analysis extension for Mathematical Components
Description-md5: 17ca6253f8d79f552f583a9d3bacf467
Architecture: amd64
Version: 0.3.13-1
Priority: optional
Section: universe/ocaml
Source: mathcomp-analysis
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 22096
Depends: coq, libcoq-mathcomp-ssreflect
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-analysis_0.3.13-1_amd64.deb
Size: 6481442
MD5sum: ad93216dc506e98929f4bba3120de10f
SHA1: 0a91bf4fc53f7fdac04095d8bb7ed9db331cc72e
SHA256: e3dcae8aa777c7200b7fd7f00deee149124475b2f709e91fab2c4488d01d97c5
SHA512: 701324dbbdb0d8df9cc21812426bea736db3879184340f1215ca3b78d469cda0f811dcfb752890d99e760057e7bb07aa451ef2d35256240d363522dfb1d15bbe
Homepage: https://github.com/math-comp/analysis
Description: analysis extension for Mathematical Components
Description-md5: 17ca6253f8d79f552f583a9d3bacf467