blob: 2b04cbf3e9168c8107064badbd74f688d89de0b2 (
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:09:58 UTC 2016
pkgbase = mathpartir
pkgdesc = LaTeX package for typesetting type inference rules
pkgver = 1.3.1
pkgrel = 2
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
|