How to Install and Uninstall mathpartir Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 03,2024

1. Install "mathpartir" package

This tutorial shows how to install mathpartir on Ubuntu 16.04 LTS (Xenial Xerus)

$ sudo apt update $ sudo apt install mathpartir

2. Uninstall "mathpartir" package

Please follow the instructions below to uninstall mathpartir on Ubuntu 16.04 LTS (Xenial Xerus):

$ sudo apt remove mathpartir $ sudo apt autoclean && sudo apt autoremove

3. Information about the mathpartir package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: mathpartir
Priority: optional
Section: universe/tex
Installed-Size: 235
Maintainer: Ubuntu Developers
Original-Maintainer: Ralf Treinen
Architecture: all
Version: 1.2.0-5
Depends: tex-common (>= 6), texlive-latex-base
Filename: pool/universe/m/mathpartir/mathpartir_1.2.0-5_all.deb
Size: 125038
MD5sum: 27af10edd8a2940c2607fdf0abc77e7c
SHA1: 77fd6dfc7a31e39cb105c993bafbcebe4458102f
SHA256: 554868029a679ffce26429d9fbda73a13f6d7355947ee6afe734791f274689d5
Description-en: LaTeX macros for typesetting inference rules
This package contains LaTeX macros for
* typesetting a sequence of math formulas in mixed horizontal and vertical
mode
* typesetting inference rules
Description-md5: 6aef4f8c34360880082c0b561e8759f2
Homepage: http://cristal.inria.fr/~remy/latex/index.html#mathpartir
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu