summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authortequa2016-05-19 20:35:19 +0200
committertequa2016-05-19 20:35:19 +0200
commit686b15cd81ca328beda443ca7a266bc744a6afb8 (patch)
treec1b2653d3994a0ef8fd9cf5149693bc6ebb5116a
parente4b7f0d10c4cd53e16f4eab7d9279783179719ba (diff)
downloadaur-686b15cd81ca328beda443ca7a266bc744a6afb8.tar.gz
new bugfix release
-rw-r--r--.SRCINFO5
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 905fb5860380..58c6e18e6489 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
# Generated by mksrcinfo v8
-# Wed May 18 20:34:09 UTC 2016
+# Thu May 19 18:35:04 UTC 2016
pkgbase = sat-shell
pkgdesc = sat-shell is an interactive tcl-shell for sat-solver interaction
pkgver = 1.0
- pkgrel = 1
+ pkgrel = 2
url = https://github.com/TestudoAquatilis/sat-shell
arch = x86_64
arch = i686
@@ -13,6 +13,7 @@ pkgbase = sat-shell
makedepends = make
makedepends = flex
makedepends = bison
+ makedepends = sed
depends = tclln
depends = glib2
depends = zlib
diff --git a/PKGBUILD b/PKGBUILD
index c0f2a8c56633..471216cc5b11 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,13 +1,13 @@
pkgname=sat-shell
pkgver=1.0
-pkgrel=1
+pkgrel=2
pkgdesc="sat-shell is an interactive tcl-shell for sat-solver interaction"
url="https://github.com/TestudoAquatilis/sat-shell"
arch=('x86_64' 'i686')
license=('GPLv3')
depends=('tclln' 'glib2' 'zlib' 'minisat')
optdepends=()
-makedepends=('git' 'gcc' 'make' 'flex' 'bison')
+makedepends=('git' 'gcc' 'make' 'flex' 'bison' 'sed')
conflicts=()
replaces=()
backup=()