Merge pull request #213280 from bobby285271/upd/monitor

monitor: 0.15.0 -> 0.15.1
This commit is contained in:
Weijia Wang 2023-01-29 08:38:36 +01:00 committed by GitHub
commit aba2aded0e
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.0";
version = "0.15.1";
src = fetchFromGitHub {
owner = "stsdc";
repo = "monitor";
rev = version;
sha256 = "sha256-w4c9rVO54mrjUX2iRxUQ7PHqE+8D+BqBgHMK2X9nI0g=";
sha256 = "sha256-3Kgpb0gOVpsufevz4ZIsIngl/Djckft8nJW+wBgfp4A=";
fetchSubmodules = true;
};