Commit 7002437a authored by R. RyanTM's avatar R. RyanTM
Browse files

minizinc: 2.7.2 -> 2.7.3

parent 58f8ca5f

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; {