How to Install and Uninstall libcoq-mathcomp-analysis Package on Ubuntu 22.04 LTS (Jammy Jellyfish)
Last updated: November 22,2024
Notice
You can also install and uninstall the libcoq-mathcomp-analysis on the following distributions in the same way, as they are all based on the Ubuntu system
- Kubuntu 22.04 LTS
- Lubuntu 22.04 LTS
- Xubuntu 22.04 LTS
- Ubuntu MATE 22.04 LTS
- Ubuntu Studio 22.04 LTS
- Pop!_OS 22.04 LTS
- Zorin OS 16 / Zorin OS 17
- Ubuntu Budgie 22.04
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
Copied
$
sudo apt install
libcoq-mathcomp-analysis
Copied
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
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
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
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