Package: mathpartir Architecture: all Version: 1.2.0-7 Priority: optional Section: universe/tex Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Ralf Treinen 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