Permalink
Browse files
gnuradio-devel: update to 713629cc (20180306).
- Loading branch information
Showing
with
5 additions
and
5 deletions.
-
+5
−5
science/gnuradio/Portfile
|
|
@@ -54,12 +54,12 @@ subport gnuradio-devel { |
|
|
name gnuradio-devel |
|
|
conflicts gnuradio gnuradio-next |
|
|
|
|
|
github.setup gnuradio gnuradio 47f86bce7f101bd312f05dbbe939f2207448b244 |
|
|
version 20180302 |
|
|
github.setup gnuradio gnuradio 713629cce8d571570bc5f0f0db67c5a96d5ee071 |
|
|
version 20180306 |
|
|
checksums \ |
|
|
rmd160 04796aa2609ec359a370c7dfd9f115014763f9b7 \ |
|
|
sha256 b8efac63907575b3b9b09c3b8f5f7454be752add9d3440cb6143e86081a6345a \ |
|
|
size 4421016 |
|
|
rmd160 a89ada7ed0e8419a49fe3735e84232e0f4ce41b3 \ |
|
|
sha256 bae213791526151aaf46d5e7f0175cfb6fe7cd0a58e31337ed0c96f16a2c5173 \ |
|
|
size 4421012 |
|
|
|
|
|
# set the version override string |
|
|
|
|
|
|