diff options
author | tequa | 2016-05-21 21:20:05 +0200 |
---|---|---|
committer | tequa | 2016-05-21 21:20:05 +0200 |
commit | 9338748e855a1d9fcc520be1912a10c63b4bff7b (patch) | |
tree | f6a0dc01b1a41a98f04852e54cb344b04f550075 | |
parent | d6d0011398f0467d5bf5597fc9a120feed917b69 (diff) | |
download | aur-9338748e855a1d9fcc520be1912a10c63b4bff7b.tar.gz |
new version
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Sat May 21 13:16:32 UTC 2016 +# Sat May 21 19:19:35 UTC 2016 pkgbase = sat-shell pkgdesc = sat-shell is an interactive tcl-shell for solving satisfiability problems pkgver = 1.1 - pkgrel = 1 + pkgrel = 2 url = https://github.com/TestudoAquatilis/sat-shell arch = x86_64 arch = i686 @@ -1,6 +1,6 @@ pkgname=sat-shell pkgver=1.1 -pkgrel=1 +pkgrel=2 pkgdesc="sat-shell is an interactive tcl-shell for solving satisfiability problems" url="https://github.com/TestudoAquatilis/sat-shell" arch=('x86_64' 'i686') |