nixpkgs/pkgs/development/libraries/gecode
2018-12-01 15:02:20 -06:00
..
3.nix
default.nix gecode: remove maintainer per request 2018-12-01 15:02:20 -06:00