Will Dietz 4c767417ea picosat: fix ar and ranlib usage for cross		2018-02-13 09:44:32 -06:00
..
default.nix	picosat: fix ar and ranlib usage for cross	2018-02-13 09:44:32 -06:00