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

pioneer: 20240314 -> 20240710
This commit is contained in:
Peder Bergebakken Sundt 2024-07-19 18:04:29 +02:00 committed by GitHub
commit 44c0aa52a2
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 = "20240314";
version = "20240710";
src = fetchFromGitHub{
owner = "pioneerspacesim";
repo = "pioneer";
rev = version;
hash = "sha256-CUaiQPRufo8Ng70w5KWlLugySMaTaUuZno/ckyU1w2w=";
hash = "sha256-zuPm5odMn6C3JqkgqQdgSztwxWjMmLVWUalYbEbAZro=";
};
postPatch = ''