movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-10 03:23:29 +03:00
Code Issues Projects Releases Packages Wiki Activity

minizincide: 2.9.2 -> 2.9.3 (#410151)

Browse source
This commit is contained in:
Wolfgang Walther 2025-06-01 11:44:09 +00:00 • committed by GitHub
commit bcb2d5610f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
pkgs/development/tools/minizinc/ide.nix
View file

@ -18,13 +18,13 @@ let
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "minizinc-ide"; pname = "minizinc-ide";
version = "2.9.2"; version = "2.9.3";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "MiniZinc"; owner = "MiniZinc";
repo = "MiniZincIDE"; repo = "MiniZincIDE";
rev = version; rev = version;
hash = "sha256-gUsv4peZhWrwujRloNisuSf/0Wx5W5xRusAHJCx0wNA="; hash = "sha256-wYS46keOPPQLs0fFeSeb2wz+VX6A1UUGjiGzHZhPxVk=";
fetchSubmodules = true; fetchSubmodules = true;
}; };