# Generated by makepkg 5.2.1
# using fakeroot version 1.24
pkgname = klee-uclibc
pkgbase = klee-uclibc
pkgver = 1.2-1
pkgdesc = KLEE's version of uClibc.
url = https://github.com/klee/klee-uclibc
builddate = 1584577641
packager = Levon Kayan <noptrix@nullsecurity.net>
size = 6635953
arch = x86_64
license = LGPL
makedepend = llvm
makedepend = clang
makedepend = python
makedepend = wget
