Merge pull request #304571 from r-ryantm/auto-update/umpire

umpire: 2024.02.0 -> 2024.02.1
This commit is contained in:
Weijia Wang 2024-04-17 00:15:19 +02:00 committed by GitHub
commit 335a5a5d94
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions

View File

@ -6,13 +6,13 @@
stdenv.mkDerivation rec {
pname = "umpire";
version = "2024.02.0";
version = "2024.02.1";
src = fetchFromGitHub {
owner = "LLNL";
repo = "umpire";
rev = "v${version}";
hash = "sha256-0xJrICpGHQCLXfhDfS0/6gD3wrM9y6XB4XxyjG3vWGw=";
hash = "sha256-cIUGlRNdbddxcC0Lj0co945RlHcPrDLo+bZIsUB9im4=";
fetchSubmodules = true;
};