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

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

minizinc: 2.7.2 -> 2.7.3
parents 1453e9fe 7002437a

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.2";

  version = "2.7.3";



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

    repo = "libminizinc";

    rev = version;

    sha256 = "sha256-XiaLD6tJDn8DTQwknlVd1+xf+DNCiOZ12yn1zugCVxY=";

    sha256 = "sha256-qDAFXyWEwdei1jBHb5ONgivlp2ftMNfBbq8a/Ibh2BM=";

  };



  meta = with lib; {