Just to let everyone know, GNU Radio 3.6.1 is available by apt-get in
Ubuntu 12.10.
sudo apt-get install gnuradio
I just tried it out on my machine and it’s working fine. The import
bug does not seem to affect this installation (for what reason, I
can’t right now guess).
Tom