nixpkgs/pkgs/development/libraries/gecode
2017-03-12 16:21:13 -05:00
..
3.nix
default.nix gecode: 4.4.0 -> 5.0.0 2017-03-12 16:21:13 -05:00