minizinc: use default gecode

2026-07-17 10:33:03 +02:00
parent 1df300f0f3
commit ad0d10ea6e
1 changed files with 0 additions and 16 deletions
@@ -13,22 +13,6 @@
  zlib,
 }:

-let
-  gecode_6_3_0 = gecode.overrideAttrs (_: {
-    version = "6.3.0";
-    src = fetchFromGitHub {
-      owner = "gecode";
-      repo = "gecode";
-      rev = "f7f0d7c273d6844698f01cec8229ebe0b66a016a";
-      hash = "sha256-skf2JEtNkRqEwfHb44WjDGedSygxVuqUixskTozi/5k=";
-    };
-    patches = [ ];
-  });
-in
-let
-  gecode = gecode_6_3_0;
-in
-
 stdenv.mkDerivation (finalAttrs: {
  pname = "minizinc";
  version = "2.9.7";