nixpkgs/pkgs/development/libraries/gecode
2017-03-12 16:21:13 -05:00
..
3.nix ruby: new bundler infrastructure 2015-12-29 09:30:21 -05:00
default.nix gecode: 4.4.0 -> 5.0.0 2017-03-12 16:21:13 -05:00