nixpkgs/pkgs/development/libraries/gecode
Michael Fellinger b3594998d3 gecode: fix meta
2014-09-10 16:15:24 +02:00
..
default.nix gecode: fix meta 2014-09-10 16:15:24 +02:00