gnuradio-rds: 2016-08-27 -> 1.0.0

This commit is contained in:
Markus Kowalewski 2018-09-22 18:35:51 +02:00
parent 1a5788010e
commit 3b0d303604
No known key found for this signature in database
GPG key ID: D865C8A91D7025EB

View file

@ -6,12 +6,12 @@ assert pythonSupport -> python != null && swig != null;
stdenv.mkDerivation rec {
name = "gnuradio-rds-${version}";
version = "2016-08-27";
version = "1.0.0";
src = fetchFromGitHub {
owner = "bastibl";
repo = "gr-rds";
rev = "5246b75180808d47f321cb26f6c16d7c7a7af4fc";
rev = "$v{version}";
sha256 = "008284ya464q4h4fd0zvcn6g7bym231p8fl3kdxncz9ks4zsbsxs";
};