Installing TDE on Ubuntu 14.04 ARM

Hi, I just bought an ARM laptop at a relatively low price with a dual-core WonderMedia WM8880 1,5ghz CPU and 1gb of ram. It comes with Android, but I found a working sd card image with Ubuntu 14.04 ARM made for it, and it works impressively well with it. But now, I would like to know if there is pre-built package for Ubuntu 14.04 of either R14.0.0, or better R14.0.1 (or Slavek's PSB repo). If yes, what do I add to my source.list file? Here is the laptop, for info: http://www.craigelectronics.com/site/pdetails.php?id=642 Thank you! -Alexandre