nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-09-01 13:14:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

minizinc-ide: 2.10.0 -> 2.10.1

Browse Source
This commit is contained in:
R. Ryantm
2026-08-31 07:55:06 +00:00
parent 99e88f7711
commit 00a680d799
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/by-name/mi/minizinc-ide/package.nix
View File

@@ -19,13 +19,13 @@ let
in
stdenv.mkDerivation (finalAttrs: {
pname = "minizinc-ide";
version = "2.10.0";
version = "2.10.1";
src = fetchFromGitHub {
owner = "MiniZinc";
repo = "MiniZincIDE";
rev = finalAttrs.version;
hash = "sha256-BJpxzgvT+ujwHYiV+jrHXl5nJKXC9jzbNs3rfsI1HUU=";
hash = "sha256-/+wiQK4tlaYISiQEhsd02tv/2e1c1JYSyrOqGOdhvO0=";
fetchSubmodules = true;
};