GNU Radio available in Ubuntu 12.10

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