nixpkgs/pkgs/development/libraries/gecode
2022-09-02 07:53:43 +02:00
..
3.nix gecode_3: mark darwin working 2022-09-02 07:53:43 +02: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