Robert Scott dd41e3832a gecode_3: fix on darwin using same patch as gecode_6		2022-05-27 00:03:31 +01:00
..
3.nix	gecode_3: fix on darwin using same patch as gecode_6	2022-05-27 00:03:31 +01:00
default.nix	gecode_3: fix on darwin using same patch as gecode_6	2022-05-27 00:03:31 +01:00
fix-const-weights-clang-patch.nix	gecode_3: fix on darwin using same patch as gecode_6	2022-05-27 00:03:31 +01:00