[Backport release-26.05] minizinc: 2.9.3 → 2.9.7 (#527840)

This commit is contained in:
Vincent Laporte 2026-06-04 05:14:00 +00:00 committed by GitHub
commit e5ccebb288
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

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 = [