summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD6
2 files changed, 6 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index f49445d3b204..b19bfbe20fd7 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = klee-uclibc
pkgdesc = uclibc for a symbolic virtual machine built on top of the LLVM compiler infrastructure
- pkgver = 1.3
- pkgrel = 4
+ pkgver = 1.4
+ pkgrel = 5
url = https://klee.github.io/
arch = x86_64
license = LGPL2.1
@@ -11,7 +11,7 @@ pkgbase = klee-uclibc
makedepends = python
makedepends = wget
provides = klee-uclibc
- source = git+https://github.com/klee/klee-uclibc.git#tag=klee_uclibc_v1.3
+ source = git+https://github.com/klee/klee-uclibc.git#tag=klee_uclibc_v1.4
md5sums = SKIP
pkgname = klee-uclibc
diff --git a/PKGBUILD b/PKGBUILD
index e0fb884b3e19..21274fdabb21 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
# Maintainer: Niklas Krafczyk <krafczyk.n at gmail dot com>
# Contributor: nickolai
pkgname=klee-uclibc
-pkgver=1.3
-pkgrel=4
+pkgver=1.4
+pkgrel=5
epoch=
pkgdesc="uclibc for a symbolic virtual machine built on top of the LLVM compiler infrastructure"
arch=('x86_64')
@@ -24,7 +24,7 @@ backup=()
options=()
install=
changelog=
-source=("git+https://github.com/klee/klee-uclibc.git#tag=klee_uclibc_v1.3")
+source=("git+https://github.com/klee/klee-uclibc.git#tag=klee_uclibc_v1.4")
noextract=()
md5sums=('SKIP')
validpgpkeys=()