diff options
author | R. RyanTM <ryantm-bot@ryantm.com> | 2021-03-17 15:22:41 +0000 |
---|---|---|
committer | R. RyanTM <ryantm-bot@ryantm.com> | 2021-03-17 15:22:41 +0000 |
commit | e6d2e360e917671ba66d34987acf50412e05d57f (patch) | |
tree | 7496d19bcefcdad449d29e50afb42321c2714460 /pkgs/development/tools/minizinc/default.nix | |
parent | 5b3290333a2048e07aadaa2dc934a2335525ba0a (diff) | |
download | nixpkgs-e6d2e360e917671ba66d34987acf50412e05d57f.tar nixpkgs-e6d2e360e917671ba66d34987acf50412e05d57f.tar.gz nixpkgs-e6d2e360e917671ba66d34987acf50412e05d57f.tar.bz2 nixpkgs-e6d2e360e917671ba66d34987acf50412e05d57f.tar.lz nixpkgs-e6d2e360e917671ba66d34987acf50412e05d57f.tar.xz nixpkgs-e6d2e360e917671ba66d34987acf50412e05d57f.tar.zst nixpkgs-e6d2e360e917671ba66d34987acf50412e05d57f.zip |
minizinc: 2.5.3 -> 2.5.4
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 97aedfd8f8a..ad267e6bcdd 100644 --- a/pkgs/development/tools/minizinc/default.nix +++ b/pkgs/development/tools/minizinc/default.nix @@ -1,6 +1,6 @@ { lib, stdenv, fetchFromGitHub, cmake, flex, bison }: let - version = "2.5.3"; + version = "2.5.4"; in stdenv.mkDerivation { pname = "minizinc"; @@ -12,7 +12,7 @@ stdenv.mkDerivation { owner = "MiniZinc"; repo = "libminizinc"; rev = version; - sha256 = "1kc65sxkc64pr560qaaznc44jnlvq7pbpzwijad410lpcnna5byg"; + sha256 = "sha256-/vJyh2WdESimJTCASsg6xjVzG2EkL4V87B+xvIUBcMM="; }; meta = with lib; { |