From 7830cb4936f04d6b282138a6dfab5e226750d136 Mon Sep 17 00:00:00 2001 From: Kevin Mihelich Date: Thu, 30 Jan 2020 13:32:39 +0000 Subject: [PATCH] community/gnuradio to 3.8.0.0-7 --- community/gnuradio/PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/community/gnuradio/PKGBUILD b/community/gnuradio/PKGBUILD index 8d9485a3b..10a01eac1 100644 --- a/community/gnuradio/PKGBUILD +++ b/community/gnuradio/PKGBUILD @@ -8,7 +8,7 @@ pkgbase=gnuradio pkgname=(gnuradio gnuradio-companion) pkgver=3.8.0.0 -pkgrel=6 +pkgrel=7 pkgdesc="General purpose DSP and SDR toolkit. With drivers for usrp and fcd." arch=('x86_64') url="https://gnuradio.org"