Gandi/docker — pull request #1 by Mic92 (2014-09-11 06:22:32+00:00)
Title: Dockerfile: Use Ubuntu PPA instead of debian packages

As this is a Ubuntu base image, the PPA is maybe a better fit.