mathpartir - LaTeX macros for typesetting inference rules

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name mathpartir
Package version 1.2.0
Package release 3
Package architecture all
Package type deb
Installed size 152 B
Download size 31.72 KB
Official Mirror
This package contains LaTeX macros for
* typesetting a sequence of math formulas in mixed horizontal and vertical
* typesetting inference rules


Package Version Architecture Repository
mathpartir_1.2.0-3_all.deb 1.2.0 all Ubuntu Universe
mathpartir - - -


Name Value
dpkg >= 1.14.18
tex-common >= 1.18
texlive-latex-base -


Type URL
Binary Package mathpartir_1.2.0-3_all.deb
Source Package mathpartir

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install mathpartir deb package:
    # sudo apt-get install mathpartir



See Also

Package Description
mathpiper_0.81f+svn4469+dfsg3-1_all.deb Java Computer Algebra System
mathtex_1.03-1_amd64.deb Generate image from LaTeX command
mathwar_0.2.5-2_amd64.deb A flash card game designed to teach simple maths
matita-doc_0.5.8-3build1_all.deb user manual of the Matita interactive theorem prover
matita_0.5.8-3build1_amd64.deb interactive theorem prover
matlab-support-dev_0.0.17_all.deb helpers for packages building MATLAB toolboxes
matroxset_0.4-6_amd64.deb switch output modes, including TV out, of Matrox video cards
maude_2.6-2_amd64.deb high-performance logical framework
maven-debian-helper_1.5ubuntu1_all.deb Helper tools for building Debian packages with Maven
maven2_2.2.1-10_all.deb Java software project management and comprehension tool
maven_3.0.4-2_all.deb Java software project management and comprehension tool
maxima-doc_5.24.0-1build1_all.deb A computer algebra system -- documentation
maxima-emacs_5.24.0-1build1_all.deb A computer algebra system -- emacs interface
maxima-share_5.24.0-1build1_all.deb A computer algebra system -- extra code
maxima-src_5.24.0-1build1_all.deb A computer algebra system -- source code