How to Install and Uninstall mathlibtools Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 21,2024

1. Install "mathlibtools" package

Learn how to install mathlibtools on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                mathlibtools
            
                    
    
    Copied

2. Uninstall "mathlibtools" package

Please follow the guidance below to uninstall mathlibtools on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                mathlibtools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the mathlibtools package on Ubuntu 23.10 (Mantic Minotaur)

Package: mathlibtools
Architecture: all
Version: 1.1.0-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Python Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 94
Depends: python3-atomicwrites, python3-certifi, python3-click, python3-git, python3-github, python3-networkx, python3-pydot, python3-requests, python3-toml, python3-tqdm, python3-yaml, python3:any
Recommends: elan
Filename: pool/universe/m/mathlibtools/mathlibtools_1.1.0-1_all.deb
Size: 22434
MD5sum: 23e18d50ba7b9aa16753339ec0cea635
SHA1: 7446cde4000bd3b8f04658670fe7e25fc5e229ca
SHA256: 333fe600145a985d70e39b8995f3c72c0bdfd3459d27745516afbee376bae7dd
SHA512: d193c2b822dadfb2a81aa346931ff1022e0066d2d9408187da197daad70edc5b6e314f51a1c5fdc3c9c8fa15b35766c3021bfe74131425f45e332b901ac63621
Homepage: https://github.com/leanprover-community/mathlib-tools
Description: supporting tool for Lean mathlib
Description-md5: 5f956f7fd5a142647ef9f1879bf74b55