How to Install and Uninstall mathlibtools Package on Debian 12 (Bookworm)

Last updated: May 15,2024

You can also install and uninstall the mathlibtools on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "mathlibtools" package

This tutorial shows how to install mathlibtools on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                mathlibtools
            
                    
    
    Copied

2. Uninstall "mathlibtools" package

Please follow the step by step instructions below to uninstall mathlibtools on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                mathlibtools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the mathlibtools package on Debian 12 (Bookworm)

Package: mathlibtools
Version: 1.1.0-1
Installed-Size: 96
Maintainer: Debian Python Team
Architecture: all
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
Description: supporting tool for Lean mathlib
Description-md5: 5f956f7fd5a142647ef9f1879bf74b55
Homepage: https://github.com/leanprover-community/mathlib-tools
Section: math
Priority: optional
Filename: pool/main/m/mathlibtools/mathlibtools_1.1.0-1_all.deb
Size: 22912
MD5sum: efc2207e04a65b64dc2e77d951f42c68
SHA256: dd30e9dd7197e0b44e8e7e9ce0655741b077e3606b1cdaefb5cbec0da40542ef