…

..

3.nix

gecode_3: use bash to run "configure", fix error

2018-03-01 09:16:18 -06:00

default.nix

gecode: 5.0.0 -> 6.0.0

2018-03-30 10:21:11 +01:00