diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -1,15 +1,14 @@ -# Generated by mksrcinfo v8 -# Wed Jan 18 10:44:29 UTC 2017 pkgbase = minlog-git pkgdesc = Interactive proof system based on first order natural deduction calculus. pkgver = 195.ff5c8ef - pkgrel = 1 + 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 |