ndowens d80cb1b080 gecode: 4.4.0 -> 5.0.0

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