Will Dietz fbaa334bcd gecode_3: use bash to run "configure", fix error ...

Error:

/configure: ./configure.lineno: line 11561: syntax error: unexpected "("

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

..

3.nix

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

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

default.nix

gecode: 4.4.0 -> 5.0.0

2017-03-12 16:21:13 -05:00