http://packages.ubuntu.com/search?suite=quantal§ion=all&arch=any&keywords=Tex+Line&searchon=contents http://packages.ubuntu.com/search?suite=quantal§ion=all&arch=any&keywords=Tex&searchon=contents Is it really named "Tex Line"? Is it from a third party repo?