Merge pull request #264138 from r-ryantm/auto-update/bonmin

bonmin: 1.8.8 -> 1.8.9
This commit is contained in:
Aaron Andersen 2023-10-29 08:25:53 -04:00 committed by GitHub
commit e940725cff
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -17,13 +17,13 @@ assert (!blas.isILP64) && (!lapack.isILP64);
stdenv.mkDerivation rec {
pname = "bonmin";
version = "1.8.8";
version = "1.8.9";
src = fetchFromGitHub {
owner = "coin-or";
repo = "Bonmin";
rev = "releases/${version}";
sha256 = "sha256-HU25WjvG01oL3U1wG6ivTcYaN51MMxgLdKZ3AkDNe2Y=";
sha256 = "sha256-nqjAQ1NdNJ/T4p8YljEWRt/uy2aDwyBeAsag0TmRc5Q=";
};
nativeBuildInputs = [