How to Install and Uninstall mathlibtools Package on Linux Mint 21.3 (Virginia)

Last updated: December 25,2024

1. Install "mathlibtools" package

Please follow the step by step instructions below to install mathlibtools on Linux Mint 21.3 (Virginia)

$ sudo apt update $ sudo apt install mathlibtools

2. Uninstall "mathlibtools" package

This guide let you learn how to uninstall mathlibtools on Linux Mint 21.3 (Virginia):

$ sudo apt remove mathlibtools $ sudo apt autoclean && sudo apt autoremove

3. Information about the mathlibtools package on Linux Mint 21.3 (Virginia)

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