gnuradio: 3.7.13.3 -> 3.7.13.4

This commit is contained in:
Tom Bereknyei 2018-09-28 14:14:32 -04:00
parent 3decb753d8
commit a054f269bf
No known key found for this signature in database
GPG Key ID: B6D265D6C1F8FB71

View File

@ -26,13 +26,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "gnuradio-${version}"; name = "gnuradio-${version}";
version = "3.7.13.3"; version = "3.7.13.4";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "gnuradio"; owner = "gnuradio";
repo = "gnuradio"; repo = "gnuradio";
rev = "v${version}"; rev = "v${version}";
sha256 = "1qpa53axqavdv2ykby7rwh7xmhvv964xq1d7rcvbwkry7dngrbib"; sha256 = "0ybfn2zfr9lc1bi3c794l4bzpj8y6vas9c4rbcj4nqlx0zf3p8fn";
fetchSubmodules = true; fetchSubmodules = true;
}; };