Merge pull request #47491 from tomberek/gnuradio_bump

gnuradio: 3.7.13.3 -> 3.7.13.4
This commit is contained in:
Sarah Brofeldt 2018-09-29 10:56:51 +02:00 committed by GitHub
commit c0706bf32e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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;
};