Package: mathpartir
Architecture: all
Version: 1.2.0-7
Priority: optional
Section: universe/tex
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Ralf Treinen <treinen@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 9
Depends: texlive-science (>= 2016.20170123-5)
Filename: pool/universe/m/mathpartir/mathpartir_1.2.0-7_all.deb
Size: 3160
MD5sum: a3afadf0fe93815f0f688880c98954d2
SHA1: 097b4e8c21e443e04790e2dc0e6445f36a2ad5f9
SHA256: 0d62f2e0db5e0551470ec1748773092dda368e6eee65d7b97fc22af1d1547a75
Homepage: http://cristal.inria.fr/~remy/latex/index.html#mathpartir
Description: LaTeX macros for typesetting inference rules - transitional package
Description-md5: fc4743cf4304f34343f05b270ee27192