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

osi: 0.108.8 -> 0.108.9
This commit is contained in:
Weijia Wang 2023-11-04 01:14:23 +01:00 committed by GitHub
commit 6d9405c0b6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,13 +5,13 @@
stdenv.mkDerivation rec {
pname = "osi";
version = "0.108.8";
version = "0.108.9";
src = fetchFromGitHub {
owner = "coin-or";
repo = "Osi";
rev = "releases/${version}";
hash = "sha256-Wyxeyn49QWzGvW6bMwCp39iLkB1eMQUEpIxUgpLcxgA=";
hash = "sha256-ueIa9CL4K5ygKpkMRvfuWR0emEG6omg65ZKCsConWsw=";
};
buildInputs =