How to Install and Uninstall libflint-doc Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: May 17,2024

1. Install "libflint-doc" package

Please follow the guidelines below to install libflint-doc on Ubuntu 22.04 LTS (Jammy Jellyfish)

$ sudo apt update $ sudo apt install libflint-doc

2. Uninstall "libflint-doc" package

Please follow the instructions below to uninstall libflint-doc on Ubuntu 22.04 LTS (Jammy Jellyfish):

$ sudo apt remove libflint-doc $ sudo apt autoclean && sudo apt autoremove

3. Information about the libflint-doc package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libflint-doc
Architecture: all
Version: 2.8.4-2build1
Multi-Arch: foreign
Priority: optional
Section: universe/doc
Source: flint
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Math Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 16762
Depends: libjs-sphinxdoc (>= 2.4.3-5~)
Recommends: libflint-dev
Filename: pool/universe/f/flint/libflint-doc_2.8.4-2build1_all.deb
Size: 3619026
MD5sum: ae5349a3bec94d93f5b2673e4adcc3a1
SHA1: ba780a807c3ef5637540b7afdbc3b8aef71528f2
SHA256: 7580b4ea6e46706336b4f8460b0bc83134582454e036fb1a0bce1550e5513e6b
SHA512: f244b6b97b5ded2425eab57e0ec87448471fac939641ccb7cd27fc006cd8ae0278e8469b19c6b472ee2150d5e653027cbf206a1a6d7c229e3fab05002d5ebc9a
Homepage: http://www.flintlib.org/
Description: Documentation for the FLINT library
Description-md5: cfc1d1394ce4da588ed4c2ec2c8b1ab0