pkgbase = minlog-git pkgdesc = Interactive proof system based on first order natural deduction calculus. pkgver = r610.4a9a1e4 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 source = prefer_guile.patch md5sums = SKIP md5sums = 3066aa2dccf688b26d1c70ae8ebc3a7d pkgname = minlog-git