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