ndowens d80cb1b080 gecode: 4.4.0 -> 5.0.0

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