gnuradio: revision for boost

master
Rui Chen 2020-04-28 10:09:27 -04:00 committed by Jonathan Chang
parent 655093d6ce
commit de49e72d3c
1 changed files with 1 additions and 1 deletions

View File

@ -4,7 +4,7 @@ class Gnuradio < Formula
url "https://gnuradio.org/releases/gnuradio/gnuradio-3.7.13.4.tar.gz"
sha256 "c536c268b1e9c24f1206bbc881a5819ac46e662f4e8beaded6f3f441d3502f0d"
license "GPL-3.0"
revision 14
revision 15
head "https://github.com/gnuradio/gnuradio.git"
bottle do