How to Install and Uninstall mathpartir Package on Linux Mint 20.3 (Una)
Last updated: November 26,2024
1. Install "mathpartir" package
This guide let you learn how to install mathpartir on Linux Mint 20.3 (Una)
$
sudo apt update
Copied
$
sudo apt install
mathpartir
Copied
2. Uninstall "mathpartir" package
Please follow the instructions below to uninstall mathpartir on Linux Mint 20.3 (Una):
$
sudo apt remove
mathpartir
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the mathpartir package on Linux Mint 20.3 (Una)
Package: mathpartir
Architecture: all
Version: 1.2.0-7
Priority: optional
Section: universe/tex
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Ralf Treinen
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 9
Depends: texlive-science (>= 2016.20170123-5)
Filename: pool/universe/m/mathpartir/mathpartir_1.2.0-7_all.deb
Size: 3160
MD5sum: a3afadf0fe93815f0f688880c98954d2
SHA1: 097b4e8c21e443e04790e2dc0e6445f36a2ad5f9
SHA256: 0d62f2e0db5e0551470ec1748773092dda368e6eee65d7b97fc22af1d1547a75
Homepage: http://cristal.inria.fr/~remy/latex/index.html#mathpartir
Description: LaTeX macros for typesetting inference rules - transitional package
Description-md5: fc4743cf4304f34343f05b270ee27192
Architecture: all
Version: 1.2.0-7
Priority: optional
Section: universe/tex
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Ralf Treinen
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 9
Depends: texlive-science (>= 2016.20170123-5)
Filename: pool/universe/m/mathpartir/mathpartir_1.2.0-7_all.deb
Size: 3160
MD5sum: a3afadf0fe93815f0f688880c98954d2
SHA1: 097b4e8c21e443e04790e2dc0e6445f36a2ad5f9
SHA256: 0d62f2e0db5e0551470ec1748773092dda368e6eee65d7b97fc22af1d1547a75
Homepage: http://cristal.inria.fr/~remy/latex/index.html#mathpartir
Description: LaTeX macros for typesetting inference rules - transitional package
Description-md5: fc4743cf4304f34343f05b270ee27192