From a054f269bf67b77492b5bf5ed526009ec3f2743a Mon Sep 17 00:00:00 2001 From: Tom Bereknyei <tom@dds.mil> Date: Fri, 28 Sep 2018 14:14:32 -0400 Subject: [PATCH] gnuradio: 3.7.13.3 -> 3.7.13.4 --- pkgs/applications/misc/gnuradio/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/applications/misc/gnuradio/default.nix b/pkgs/applications/misc/gnuradio/default.nix index 0224d5fd68c7..a7c00cceaa72 100644 --- a/pkgs/applications/misc/gnuradio/default.nix +++ b/pkgs/applications/misc/gnuradio/default.nix @@ -26,13 +26,13 @@ stdenv.mkDerivation rec { name = "gnuradio-${version}"; - version = "3.7.13.3"; + version = "3.7.13.4"; src = fetchFromGitHub { owner = "gnuradio"; repo = "gnuradio"; rev = "v${version}"; - sha256 = "1qpa53axqavdv2ykby7rwh7xmhvv964xq1d7rcvbwkry7dngrbib"; + sha256 = "0ybfn2zfr9lc1bi3c794l4bzpj8y6vas9c4rbcj4nqlx0zf3p8fn"; fetchSubmodules = true; };