summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authortequa2016-05-21 21:20:05 +0200
committertequa2016-05-21 21:20:05 +0200
commit9338748e855a1d9fcc520be1912a10c63b4bff7b (patch)
treef6a0dc01b1a41a98f04852e54cb344b04f550075
parentd6d0011398f0467d5bf5597fc9a120feed917b69 (diff)
downloadaur-9338748e855a1d9fcc520be1912a10c63b4bff7b.tar.gz
new version
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD2
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ba9d47ed1579..fdf0a6ec2ec1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 629110f7e268..8cdbc7053feb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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')