Package Details: klee-uclibc 1.2-1

Git Clone URL: https://aur.archlinux.org/klee-uclibc.git (read-only)
Package Base: klee-uclibc
Description: uclibc for a symbolic virtual machine built on top of the LLVM compiler infrastructure
Upstream URL: https://klee.github.io/
Licenses: LGPL2.1
Provides: klee-uclibc
Submitter: krafczyk.n
Maintainer: krafczyk.n
Last Packager: krafczyk.n
Votes: 0
Popularity: 0.000000
First Submitted: 2019-03-25 16:33
Last Updated: 2019-03-25 16:33