.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

pkgbase = klee-uclibc
	pkgdesc = uclibc for a symbolic virtual machine built on top of the LLVM compiler infrastructure
	pkgver = 1.4
	pkgrel = 5
	url = https://klee.github.io/
	arch = x86_64
	license = LGPL2.1
	makedepends = llvm14
	makedepends = clang14
	makedepends = git
	makedepends = python
	makedepends = wget
	provides = klee-uclibc
	source = git+https://github.com/klee/klee-uclibc.git#tag=klee_uclibc_v1.4
	md5sums = SKIP

pkgname = klee-uclibc