pkgbase = minlog-git
	pkgdesc = Interactive proof system based on first order natural deduction calculus.
	pkgver = 195.ff5c8ef
	pkgrel = 2
	url = http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php
	arch = any
	license = GPL
	makedepends = texlive-core
	makedepends = git
	depends = bash
	options = !makeflags
	source = git+http://www.mathematik.uni-muenchen.de/~minlogit/git/minlog.git
	md5sums = SKIP

pkgname = minlog-git

