diff options
author | tequa | 2016-05-19 20:35:19 +0200 |
---|---|---|
committer | tequa | 2016-05-19 20:35:19 +0200 |
commit | 686b15cd81ca328beda443ca7a266bc744a6afb8 (patch) | |
tree | c1b2653d3994a0ef8fd9cf5149693bc6ebb5116a | |
parent | e4b7f0d10c4cd53e16f4eab7d9279783179719ba (diff) | |
download | aur-686b15cd81ca328beda443ca7a266bc744a6afb8.tar.gz |
new bugfix release
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 4 deletions
@@ -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 @@ -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=() |