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

pioneer: 20190203 -> 20191009
This commit is contained in:
Marek Mahut 2019-10-26 14:03:43 +02:00 committed by GitHub
commit 14be1bdffe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,13 +5,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "pioneer"; pname = "pioneer";
version = "20190203"; version = "20191009";
src = fetchFromGitHub{ src = fetchFromGitHub{
owner = "pioneerspacesim"; owner = "pioneerspacesim";
repo = "pioneer"; repo = "pioneer";
rev = version; rev = version;
sha256 = "1g34wvgyvz793dhm1k64kl82ib0cavkbg0f2p3fp05b457ycljff"; sha256 = "1ll6pv1931z29kz1zvhnc6mgvjxz30q25lvb00qrsvh236nvll7n";
}; };
nativeBuildInputs = [ cmake pkgconfig ]; nativeBuildInputs = [ cmake pkgconfig ];