Package: mathpartir
Binary: mathpartir
Version: 1.2.0-3
Priority: optional
Section: tex
Maintainer: Ralf Treinen <treinen@debian.org>
Build-Depends: debhelper (>= 7.0), tex-common
Build-Depends-Indep: hevea
Architecture: all
Standards-Version: 3.8.3
Format: 3.0 (quilt)
Directory: pool/main/m/mathpartir
Files: 6a6c51797d823c24c111232efe3a905f 1094 mathpartir_1.2.0-3.dsc
 7b205eb7fb68264f96ff7c567c165fcc 234171 mathpartir_1.2.0.orig.tar.gz
 abe886dd31a2e9b95f9bb328c59e66f5 2800 mathpartir_1.2.0-3.debian.tar.gz
Homepage: http://pauillac.inria.fr/~remy/latex/index.html#mathpartir
Checksums-Sha1: 41499569051f0fd2978e2705b9d1f8e29165125d 234171 mathpartir_1.2.0.orig.tar.gz
 68dd69b88077f70aa673240afa524aebcf66ec70 2800 mathpartir_1.2.0-3.debian.tar.gz
Checksums-Sha256: e57c21118121458cb544dc5e108464332239b2390f90aa68efd730a1070a8767 234171 mathpartir_1.2.0.orig.tar.gz
 2b71111e6da5bbd46c2902dd95e087c415447d5a5b87c7e68da6d26161dd4993 2800 mathpartir_1.2.0-3.debian.tar.gz

Package: mathpartir
Priority: optional
Section: tex
Installed-Size: 152
Maintainer: Ralf Treinen <treinen@debian.org>
Architecture: all
Version: 1.2.0-3
Depends: dpkg (>= 1.14.18), tex-common (>= 1.18), texlive-latex-base
Filename: pool/main/m/mathpartir/mathpartir_1.2.0-3_all.deb
Size: 31808
MD5sum: f09181dc431133b530cff610bee5a32b
SHA1: e02d3f9b8e8ac2ac21715b5cfc6979da1aa21971
SHA256: 9592b811d9a56cce2f20780d4e011cd6a0b23cfb1241c56c8825193b0c06f94d
Description: 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
Homepage: http://pauillac.inria.fr/~remy/latex/index.html#mathpartir