It would be a real shame for Ubuntu 12.04 to be stuck with Texlive 2009 for another 5 years! It would be 8 years old by its end of life!
It would be a real shame for Ubuntu 12.04 to be stuck with Texlive 2009 for another 5 years! It would be 8 years old by its end of life!