How to Install and Uninstall mathpartir Package on Debian 10 (Buster)
Last updated: January 04,2025
1. Install "mathpartir" package
Please follow the instructions below to install mathpartir on Debian 10 (Buster)
$
sudo apt update
Copied
$
sudo apt install
mathpartir
Copied
2. Uninstall "mathpartir" package
Please follow the guidance below to uninstall mathpartir on Debian 10 (Buster):
$
sudo apt remove
mathpartir
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the mathpartir package on Debian 10 (Buster)
Package: mathpartir
Version: 1.2.0-7
Installed-Size: 9
Maintainer: Ralf Treinen
Architecture: all
Depends: texlive-science (>= 2016.20170123-5)
Description: LaTeX macros for typesetting inference rules - transitional package
Description-md5: fc4743cf4304f34343f05b270ee27192
Homepage: http://cristal.inria.fr/~remy/latex/index.html#mathpartir
Tag: field::mathematics, role::plugin, use::typesetting,
works-with-format::tex, works-with::text
Section: tex
Priority: optional
Filename: pool/main/m/mathpartir/mathpartir_1.2.0-7_all.deb
Size: 3116
MD5sum: 0f75c0f845f9e22163616fa05b4d0883
SHA256: f76cdf03ae0d1e42b5325edaba9c3bc2130ffc0c600e49d3b14f4927a74ed94c
Version: 1.2.0-7
Installed-Size: 9
Maintainer: Ralf Treinen
Architecture: all
Depends: texlive-science (>= 2016.20170123-5)
Description: LaTeX macros for typesetting inference rules - transitional package
Description-md5: fc4743cf4304f34343f05b270ee27192
Homepage: http://cristal.inria.fr/~remy/latex/index.html#mathpartir
Tag: field::mathematics, role::plugin, use::typesetting,
works-with-format::tex, works-with::text
Section: tex
Priority: optional
Filename: pool/main/m/mathpartir/mathpartir_1.2.0-7_all.deb
Size: 3116
MD5sum: 0f75c0f845f9e22163616fa05b4d0883
SHA256: f76cdf03ae0d1e42b5325edaba9c3bc2130ffc0c600e49d3b14f4927a74ed94c