Unverified Commit 327e46bc authored by Matthias Beyer's avatar Matthias Beyer Committed by GitHub
Browse files

Merge pull request #310575 from r-ryantm/auto-update/minizinc 

minizinc: 2.8.3 -> 2.8.4
parents 2602a1af c618e377

pkgs/development/tools/minizinc/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -2,13 +2,13 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "minizinc";

  version = "2.8.3";

  version = "2.8.4";



  src = fetchFromGitHub {

    owner = "MiniZinc";

    repo = "libminizinc";

    rev = finalAttrs.version;

    sha256 = "sha256-/1rMrmwx8oYuiIoaS7YjDOey4jBCTJgzrPv6U0Vid8A=";

    sha256 = "sha256-RpqjhjdG8u+gqO5SmKep5JpFhXh5GGX65qA15X+MNA4=";

  };



  nativeBuildInputs = [ bison cmake flex jq ];