Paul <tik-tok at bodosom.net> wrote: > On Sat, Apr 26, 2014 at 6:30 PM, Rob <nomail at example.com> wrote: > >> Can't they add just one simple package to that? > > > > Well pps-tools is clearly special. E.g. it's no longer advertised for 12.04 Well, it is for Ubuntu 14.04 LTS