Merge pull request #229881 from r-ryantm/auto-update/coin-utils

coin-utils: 2.11.8 -> 2.11.9
This commit is contained in:
Weijia Wang 2023-05-04 17:25:06 +03:00 committed by GitHub
commit 058ae3ff5e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,14 +1,14 @@
{ lib, stdenv, fetchFromGitHub, pkg-config }:
stdenv.mkDerivation rec {
version = "2.11.8";
version = "2.11.9";
pname = "coinutils";
src = fetchFromGitHub {
owner = "coin-or";
repo = "CoinUtils";
rev = "releases/${version}";
hash = "sha256-ZV2nLP/oOLfnBGk1yow+b/oTKpoxyEkcCPHCSNAk+Tk=";
hash = "sha256-DgHVbcXd36WW6JQbiq1MUHAiKLs8CTau87rs0T76sGs=";
};
doCheck = true;