4 pkgdesc="Latex package for typesetting type inference rules"
6 url="http://cristal.inria.fr/~remy/latex/"
9 source=('http://cristal.inria.fr/~remy/latex/mathpartir.tgz')
14 local lib="$pkgdir"/usr/share/texmf/tex/latex
15 local doc="$pkgdir"/usr/share/doc/mathpartir
16 install -d "$lib" "$doc"
17 install mathpartir.sty "$lib"
18 install -t "$doc" mathpartir.dvi mathpartir.pdf mathpartir.ps.gz mathpartir.tex
21 md5sums=('caf803bcfbef72ac7e70775215f36378')
22 md5sums=('ccc8aae79631e81524de718302f5388e')