Merge pull request #296057 from r-ryantm/auto-update/pioneer

pioneer: 20240203 -> 20240314
This commit is contained in:
Weijia Wang 2024-03-24 23:02:21 +01:00 committed by GitHub
commit 34a3e9a98c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -20,13 +20,13 @@
stdenv.mkDerivation rec {
pname = "pioneer";
version = "20240203";
version = "20240314";
src = fetchFromGitHub{
owner = "pioneerspacesim";
repo = "pioneer";
rev = version;
hash = "sha256-Jqv013VM0177VqGYR7vSvdq+67ONM91RrjcdVXNLcHs=";
hash = "sha256-CUaiQPRufo8Ng70w5KWlLugySMaTaUuZno/ckyU1w2w=";
};
postPatch = ''