nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 08:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

minizincide: 2.8.6 -> 2.8.7

Browse Source
This commit is contained in:
R. Ryantm 2024-10-30 20:33:55 +00:00
parent 3db5e3d32a
commit 603e07da41
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5,13 +5,13 @@ let
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "minizinc-ide"; pname = "minizinc-ide";
version = "2.8.6"; version = "2.8.7";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "MiniZinc"; owner = "MiniZinc";
repo = "MiniZincIDE"; repo = "MiniZincIDE";
rev = version; rev = version;
hash = "sha256-B164KCY06SQRxv4eD9yuCKyGRRrMZfJRuaQ+OEmQC5k="; hash = "sha256-mlLW7RHwO+VHWJdKhDjIWYoRpdTrt7QpPKp0EiHGkEs=";
fetchSubmodules = true; fetchSubmodules = true;
}; };