Files
nixpkgs/pkgs/development/libraries/gecode/default.nix