Merge pull request #218135 from bobby285271/upd/monitor

monitor: 0.15.1 -> 0.16.0
This commit is contained in:
davidak 2023-02-25 09:06:29 +01:00 committed by GitHub
commit 7e71776255
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -27,13 +27,13 @@
stdenv.mkDerivation rec {
pname = "monitor";
version = "0.15.1";
version = "0.16.0";
src = fetchFromGitHub {
owner = "stsdc";
repo = "monitor";
rev = version;
sha256 = "sha256-3Kgpb0gOVpsufevz4ZIsIngl/Djckft8nJW+wBgfp4A=";
sha256 = "sha256-+B3h7ydN+ISElpOMMCcKORYnq1MaMhvr+4I2qHJ26As=";
fetchSubmodules = true;
};