blob: 08059287865e25ff8e26995dc1cb6edd29297a09 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Mon Apr 4 19:08:35 UTC 2016
pkgbase = mathpartir
pkgdesc = LaTeX package for typesetting type inference rules
pkgver = 1.3.1
pkgrel = 1
url = http://cristal.inria.fr/~remy/latex/
install = texlive.install
arch = any
license = GPL
depends = texlive-core
options = !strip
source = http://cristal.inria.fr/~remy/latex/mathpartir.tgz
md5sums = 3f670db71394a86c87042682c128c977
pkgname = mathpartir
|