diff options
author | haawda | 2021-03-06 12:50:26 +0100 |
---|---|---|
committer | haawda | 2021-03-06 12:50:26 +0100 |
commit | d1d0fff41ef07d6fb57f11b2155dedbe33882c05 (patch) | |
tree | c077b2521fb372c50194ed997b12c191966fda5f /.SRCINFO | |
parent | 1750b3edd5a4c9019358d2e591cc27dbbc04afbd (diff) | |
download | aur-minlog-git.tar.gz |
prefer guile over chez scheme for building
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,6 +1,6 @@ pkgbase = minlog-git pkgdesc = Interactive proof system based on first order natural deduction calculus. - pkgver = 195.ff5c8ef + pkgver = r610.4a9a1e4 pkgrel = 2 url = http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php arch = any @@ -10,7 +10,9 @@ pkgbase = minlog-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 |