|
|
|
@ -1,6 +1,6 @@ |
|
|
|
|
{ lib, stdenv, fetchFromGitHub, cmake, flex, bison }: |
|
|
|
|
let |
|
|
|
|
version = "2.5.4"; |
|
|
|
|
version = "2.5.5"; |
|
|
|
|
in |
|
|
|
|
stdenv.mkDerivation { |
|
|
|
|
pname = "minizinc"; |
|
|
|
@ -12,7 +12,7 @@ stdenv.mkDerivation { |
|
|
|
|
owner = "MiniZinc"; |
|
|
|
|
repo = "libminizinc"; |
|
|
|
|
rev = version; |
|
|
|
|
sha256 = "sha256-/vJyh2WdESimJTCASsg6xjVzG2EkL4V87B+xvIUBcMM="; |
|
|
|
|
sha256 = "sha256-9z2E6KqOys9UUXlXWB4eDhg34kS3PhUB1Dd1F6iGYoE="; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
meta = with lib; { |
|
|
|
|