Manpages of smlnj in Debian wheezy