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