summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorNiklas Krafczyk2023-10-30 12:58:52 +0100
committerNiklas Krafczyk2023-10-30 12:58:52 +0100
commit4b50e9f220781a7c5fc0b7737ef8ad7b82de18bb (patch)
tree8842cbc75c44c41f98ab7be8da63071b1fe5259e
parent55f4dde35fa4e5fbe403efe19f212f50bc5e05fc (diff)
downloadaur-klee-uclibc.tar.gz
Updating to release 1.4
-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=()