diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 |