diff options
author | Ryan Mulligan <ryan@ryantm.com> | 2018-02-27 06:08:25 -0800 |
---|---|---|
committer | Ryan Mulligan <ryan@ryantm.com> | 2018-02-27 06:08:25 -0800 |
commit | 3b592a88e44ec07bc770a78a32697ffb0fabe515 (patch) | |
tree | 4245cd196842e4101d404633867af62892c1dc0a /pkgs/development/tools/minizinc/default.nix | |
parent | 6a101342051182e66587249cfd8c4800b0746c82 (diff) | |
download | nixpkgs-3b592a88e44ec07bc770a78a32697ffb0fabe515.tar nixpkgs-3b592a88e44ec07bc770a78a32697ffb0fabe515.tar.gz nixpkgs-3b592a88e44ec07bc770a78a32697ffb0fabe515.tar.bz2 nixpkgs-3b592a88e44ec07bc770a78a32697ffb0fabe515.tar.lz nixpkgs-3b592a88e44ec07bc770a78a32697ffb0fabe515.tar.xz nixpkgs-3b592a88e44ec07bc770a78a32697ffb0fabe515.tar.zst nixpkgs-3b592a88e44ec07bc770a78a32697ffb0fabe515.zip |
minizinc: 2.0.14 -> 2.1.7
Semi-automatic update. These checks were performed: - built on NixOS - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn-fzn -h` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn-fzn --help` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn-fzn --version` and found version 2.1.7 - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn2fzn -h` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn2fzn --help` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn2fzn --version` and found version 2.1.7 - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn2fzn_test --version` and found version 2.1.7 - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/solns2out -h` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/solns2out --help` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/solns2out --version` and found version 2.1.7 - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn2doc --version` and found version 2.1.7 - found 2.1.7 with grep in /nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7 - found 2.1.7 in filename of file in /nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7 cc "@sheenobu"
Diffstat (limited to 'pkgs/development/tools/minizinc/default.nix')
-rw-r--r-- | pkgs/development/tools/minizinc/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/tools/minizinc/default.nix b/pkgs/development/tools/minizinc/default.nix index 00c2663e3a4..d569b8d3068 100644 --- a/pkgs/development/tools/minizinc/default.nix +++ b/pkgs/development/tools/minizinc/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchFromGitHub, cmake, flex, bison }: let - version = "2.0.14"; + version = "2.1.7"; in stdenv.mkDerivation { name = "minizinc-${version}"; @@ -11,7 +11,7 @@ stdenv.mkDerivation { rev = "${version}"; owner = "MiniZinc"; repo = "libminizinc"; - sha256 = "02wy91nv79lrvvhhimcxp7sqz5wd457n1n68zl7qcsm5vfn1hm4q"; + sha256 = "05rifsgzfaalv5ymv59sjcvhr6i1byzbmq5p36hj3hpi5f929kip"; }; # meta is all the information about the package.. |