Installion's Lion Logo

Installion.co.uk

How To Install mathpartir On Debian 9

To install mathpartir just follow these instructions.

Install mathpartir

LaTeX macros for typesetting inference rulesDebian 9.0tex1.2.0-6
sudo apt-get install mathpartir

Which will install mathpartir and any other packages on which it depends.

Package Data

Packagemathpartir
Version1.2.0-6
MaintainerRalf Treinen <treinen@debian.org>
Home pagehttp://cristal.inria.fr/~remy/latex/index.html#mathpartir
DescriptionLaTeX macros for typesetting inference rules
Distrodebian
Releasestretch
Repomain
Sectiontex

Dependencies