3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science/logic/klee
Morgan Jones 98a951c509 klee: build with klee-uclibc
This ends up enabling more of the KLEE test suite, so apply patches to
fix those too.
2022-03-15 19:21:00 -06:00
..
default.nix
klee-uclibc.nix