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

pioneer: 20220203 -> 20240203
This commit is contained in:
Weijia Wang 2024-03-07 10:50:47 +01:00 committed by GitHub
commit 5320e67e91
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 = "20220203";
version = "20240203";
src = fetchFromGitHub{
owner = "pioneerspacesim";
repo = "pioneer";
rev = version;
hash = "sha256-HNVg8Lq6k6gQDmgOdpnBwJ57WSEnn5XwtqzmkDU1WGI=";
hash = "sha256-Jqv013VM0177VqGYR7vSvdq+67ONM91RrjcdVXNLcHs=";
};
postPatch = ''