Manpages of python3.2-dbg in Debian wheezy