Unverified Commit bf460eca authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

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

minizinc: 2.7.0 -> 2.7.1
parents 8de3f69d 471ca583

pkgs/development/tools/minizinc/default.nix

+2 −2
Original line number Diff line number Diff line 
{ lib, stdenv, fetchFromGitHub, cmake, flex, bison }:

stdenv.mkDerivation rec {

  pname = "minizinc";

  version = "2.7.0";

  version = "2.7.1";



  nativeBuildInputs = [ cmake flex bison ];
@@ -9,7 +9,7 @@ stdenv.mkDerivation rec { 
    owner = "MiniZinc";

    repo = "libminizinc";

    rev = version;

    sha256 = "sha256-ukgzQ7ooiO13hQjWrsul/pvHPBbs1hkJJKLTQwv+cLg=";

    sha256 = "sha256-cVqsyQw28cNRMVIY/lRbKnJ8QYxWGlWrucRhwBKBfD4=";

  };



  meta = with lib; {