How to Install and Uninstall libcoq-mathcomp-analysis Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 22,2024

1. Install "libcoq-mathcomp-analysis" package

Please follow the guidelines below to install libcoq-mathcomp-analysis on Ubuntu 22.04 LTS (Jammy Jellyfish)

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

2. Uninstall "libcoq-mathcomp-analysis" package

This guide let you learn how to uninstall libcoq-mathcomp-analysis on Ubuntu 22.04 LTS (Jammy Jellyfish):

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

3. Information about the libcoq-mathcomp-analysis package on Ubuntu 22.04 LTS (Jammy Jellyfish)

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