Will Dietz 15ca6e149e souper: bump to latest--using LLVM 4 and custom KLEE. ... Add patch to fix the build when LLVM reports no system libs, llvm-config's behavior changed in LLVM r291285. Fixes #22920.		2017-03-15 07:39:25 -05:00
..
cmake-fix.patch	souper: bump to latest--using LLVM 4 and custom KLEE.	2017-03-15 07:39:25 -05:00
default.nix	souper: bump to latest--using LLVM 4 and custom KLEE.	2017-03-15 07:39:25 -05:00