Processing commands for cont...@bugs.debian.org: > affects 943965 gr-hpsdr Bug #943965 [gnuradio] gnuradio/block.h depends on gmpxx.h, but no dep on libgmp-dev Added indication that 943965 affects gr-hpsdr > unblock 925703 by 943965 Bug #925703 [src:gr-hpsdr] gr-hpsdr: ftbfs with GCC-9 925703 was blocked by: 943965 925703 was not blocking any bugs. Removed blocking bug(s) of 925703: 943965 > severity 943965 serious Bug #943965 [gnuradio] gnuradio/block.h depends on gmpxx.h, but no dep on libgmp-dev Severity set to 'serious' from 'important' > thanks Stopping processing here.
Please contact me if you need assistance. -- 925703: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=925703 943965: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=943965 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
