nixpkgs/pkgs/development/libraries/gecode
2014-09-10 14:14:58 +02:00
..
default.nix gecode: add package 2014-09-10 14:14:58 +02:00