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

coin-utils: 2.11.9 -> 2.11.10
This commit is contained in:
Weijia Wang 2023-11-04 01:03:19 +01:00 committed by GitHub
commit bb393c0cdc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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