How to Install and Uninstall libflint-doc Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 19,2024

1. Install "libflint-doc" package

This guide let you learn how to install libflint-doc on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libflint-doc
            
                    
    
    Copied

2. Uninstall "libflint-doc" package

This tutorial shows how to uninstall libflint-doc on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libflint-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libflint-doc package on Ubuntu 23.10 (Mantic Minotaur)

Package: libflint-doc
Architecture: all
Version: 2.9.0-5
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: 17073
Depends: libjs-sphinxdoc (>= 4.3)
Recommends: libflint-dev
Filename: pool/universe/f/flint/libflint-doc_2.9.0-5_all.deb
Size: 3696926
MD5sum: dad1d79715cfcfc93de9bbb1feca340e
SHA1: d923e08de7c3b31acaa85cbd2a8f460956038c3c
SHA256: 5bb39c74b8556a172be2940fd6f083ef2e7b170639d260163d37e4210195ec55
SHA512: 33385a77ecdca6240668d28e341abfade2bce94146ed3020719091f25d48aad26c604e0f4fc859666448f68e52e125bbf5c622e2ea6655fce0f738e09089017e
Homepage: http://www.flintlib.org/
Description: Documentation for the FLINT library
Description-md5: cfc1d1394ce4da588ed4c2ec2c8b1ab0