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

Merge pull request #307640 from r-ryantm/auto-update/osi

osi: 0.108.9 -> 0.108.10
parents 87144671 bd1d6c59
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -5,13 +5,13 @@

stdenv.mkDerivation rec {
  pname = "osi";
  version = "0.108.9";
  version = "0.108.10";

  src = fetchFromGitHub {
    owner = "coin-or";
    repo = "Osi";
    rev = "releases/${version}";
    hash = "sha256-ueIa9CL4K5ygKpkMRvfuWR0emEG6omg65ZKCsConWsw=";
    hash = "sha256-rHNGnnDFU9UrszjjkZQkgWCfjjBIQba6vVbK/HLpRsQ=";
  };

  buildInputs =