bra1nwave 3f3c1ba6f1 gnuradio: update to 3.7.13.4. [ci skip]		2018-07-21 09:37:11 +02:00
..
build-profiles
build-style
chroot-style
cross-profiles
environment
hooks
repo-keys
travis	disable auto mirror	2018-07-03 12:39:40 +02:00
wrappers
xbps-src	shutils/update_check.sh: add kde plasma update check	2018-07-13 11:46:07 -03:00
options.description
shlibs	gnuradio: update to 3.7.13.4. [ci skip]	2018-07-21 09:37:11 +02:00