minizinc: 2.9.3 → 2.9.7

This commit is contained in:
Vincent Laporte
2026-05-27 15:58:39 +02:00
parent 6ea354b8c1
commit f80d165041

View File

@@ -31,13 +31,13 @@ in
stdenv.mkDerivation (finalAttrs: {
pname = "minizinc";
version = "2.9.3";
version = "2.9.7";
src = fetchFromGitHub {
owner = "MiniZinc";
repo = "libminizinc";
rev = finalAttrs.version;
sha256 = "sha256-eu2yNRESypXWCn8INTjGwwRXTWdGYvah/hc2iqFKQmw=";
tag = finalAttrs.version;
hash = "sha256-k9imUrGn6VyQVvHU8Ef9wvBIOEHA3SSmEwIui3fW9JI=";
};
nativeBuildInputs = [