I've just tried to install the package on a hardy-PC. The installation was successful. I did not try to install tetex first, but as tetex is dead and deprecated I think you could close this bug now.
I've just tried to install the package on a hardy-PC. The installation was successful. I did not try to install tetex first, but as tetex is dead and deprecated I think you could close this bug now.