nixpkgs-suyu/pkgs/applications/science/logic/boolector
2018-02-13 09:44:32 -06:00
..
default.nix boolector: patch usage of ar and ranlib for cross 2018-02-13 09:44:32 -06:00