303e4d7f1a
Also rename "gecode_4" attribute since this is version 6? |
||
---|---|---|
.. | ||
3.nix | ||
default.nix |
303e4d7f1a
Also rename "gecode_4" attribute since this is version 6? |
||
---|---|---|
.. | ||
3.nix | ||
default.nix |