gnuradio: update to 3.7.13.5

science/gnuradio/Portfile

@@ -22,12 +22,11 @@ dist_subdir         gnuradio
 
 if {${subport} eq ${name}} {
 
-    github.setup    gnuradio gnuradio 3.7.13.4 v
-    revision        5
-    checksums \
-        rmd160 150f8ccb6f724e2bdced377f56d36c3810649992 \
-        sha256 44c987c941b69fcf77d4e9fa7f8039eb8bf82591e8184c431f44351abe6bba3e \
-        size   4431335
+    github.setup gnuradio gnuradio 3.7.13.5 v
+    checksums rmd160 6a7f38601633658632cf13a8dc157bbb1e9fcad7 \
+              sha256 f0c1fb0bbec673a798efdbdad27d4a1b914ef1fd77528642f1e2134920156335 \
+              size   4434061
+    revision  0
 
     long_description    ${description}: \
         This port is kept up with the GNU Radio release, currently ${version}, which is typically updated every few months.