diff options
author | haawda | 2018-03-19 22:02:25 +0100 |
---|---|---|
committer | haawda | 2018-03-19 22:02:25 +0100 |
commit | 1750b3edd5a4c9019358d2e591cc27dbbc04afbd (patch) | |
tree | 4df81bcd5fdd318486d7be0e513e751dfde5431b /.SRCINFO | |
parent | af2f6c9a98cb2771cf091265bd538f8b68777c3c (diff) | |
download | aur-1750b3edd5a4c9019358d2e591cc27dbbc04afbd.tar.gz |
add option
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 |