mirror/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-29 07:32:58 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

minizincide: 2.8.4 -> 2.8.5

Browse Source
This commit is contained in:
R. Ryantm 2024-06-17 17:26:33 +00:00
parent bd8d034e65
commit bad4c65e90
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
stdenv.mkDerivation rec {
pname = "minizinc-ide";
version = "2.8.4";
version = "2.8.5";
src = fetchFromGitHub {
owner = "MiniZinc";
repo = "MiniZincIDE";
rev = version;
hash = "sha256-ljOtY4k0uQwb8YPH14DspofjY7kMMBu4QJ7MABYfIpA=";
hash = "sha256-rE3Mq2lEcO5s4S8RMW7mQyp04gYwKW+e8cWnWqfVq9E=";
fetchSubmodules = true;
};