Package: mathpartir
Priority: optional
Section: universe/tex
Installed-Size: 235
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Ralf Treinen <treinen@debian.org>
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: LaTeX macros for typesetting inference rules
Homepage: http://cristal.inria.fr/~remy/latex/index.html#mathpartir
Description-md5: 6aef4f8c34360880082c0b561e8759f2
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu