nixpkgs/pkgs/development/libraries/gecode
..
3.nix gecode_3: use bash to run "configure", fix error 2018-03-01 09:16:18 -06:00
default.nix