tjh.dev
Merge pull request #35861 from ryantm/auto-update/minizinc-2.0.14-to-2.1.7
minizinc: 2.0.14 -> 2.1.7
authored by
adisbladis
and committed by
GitHub
ff05b0e6
e6c7f6a7
+2
-2
pkgs/development/tools/minizinc/default.nix
+2
-2
pkgs/development/tools/minizinc/default.nix
···
1
{ stdenv, fetchFromGitHub, cmake, flex, bison }:
2
let
3
-
version = "2.0.14";
4
in
5
stdenv.mkDerivation {
6
name = "minizinc-${version}";
···
11
rev = "${version}";
12
owner = "MiniZinc";
13
repo = "libminizinc";
14
-
sha256 = "02wy91nv79lrvvhhimcxp7sqz5wd457n1n68zl7qcsm5vfn1hm4q";
15
};
16
17
# meta is all the information about the package..
···
1
{ stdenv, fetchFromGitHub, cmake, flex, bison }:
2
let
3
+
version = "2.1.7";
4
in
5
stdenv.mkDerivation {
6
name = "minizinc-${version}";
···
11
rev = "${version}";
12
owner = "MiniZinc";
13
repo = "libminizinc";
14
+
sha256 = "05rifsgzfaalv5ymv59sjcvhr6i1byzbmq5p36hj3hpi5f929kip";
15
};
16
17
# meta is all the information about the package..