nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-15 18:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
367,256 Commits 173 Branches 125 Tags 9.1 GiB
f95a3d1140
Commit Graph

2 Commits

Author SHA1 Message Date
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
Morgan Jones
5f8f72c10c klee: init at 2.2 2022-01-08 15:49:07 -07:00