Merge pull request #95074 from r-ryantm/auto-update/gnss-sdr

gnss-sdr: 0.0.12 -> 0.0.13
This commit is contained in:
markuskowa 2020-08-11 16:33:30 +02:00 committed by GitHub
commit f01d849ef9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -20,13 +20,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gnss-sdr"; pname = "gnss-sdr";
version = "0.0.12"; version = "0.0.13";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "gnss-sdr"; owner = "gnss-sdr";
repo = "gnss-sdr"; repo = "gnss-sdr";
rev = "v${version}"; rev = "v${version}";
sha256 = "0i9cz85jc2m758pzy3bq4dk4vj9wv7k2z118lasb09xldx01dwsq"; sha256 = "0a3k47fl5dizzhbqbrbmckl636lznyjby2d2nz6fz21637hvrnby";
}; };
buildInputs = [ buildInputs = [