From 9fa3720911e2e4c819ce42924c2b7c24664df901 Mon Sep 17 00:00:00 2001 From: Kevin Mihelich Date: Sun, 6 Oct 2019 15:42:16 +0000 Subject: [PATCH] community/gnuradio to 3.8.0.0-3 --- community/gnuradio/PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/community/gnuradio/PKGBUILD b/community/gnuradio/PKGBUILD index d0a28f6c0..60f65ac5d 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=2 +pkgrel=3 pkgdesc="General purpose DSP and SDR toolkit. With drivers for usrp and fcd." arch=('x86_64') url="https://gnuradio.org"