diff --git a/dockerfiles/xenial.docker b/dockerfiles/xenial.docker index fa6f9e1b3c487d34ef1b9e069dc3277ce3081fa8..09c95988b04ad8d40f4180145bf16d3b0d14a28d 100644 --- a/dockerfiles/xenial.docker +++ b/dockerfiles/xenial.docker @@ -8,6 +8,7 @@ RUN apt-get update && \ add-apt-repository -y universe && \ add-apt-repository -y ppa:hola-launchpad/valgrind && \ add-apt-repository -y ppa:git-core/ppa && \ + add-apt-repository -y ppa:edd/misc && \ apt-get update && \ apt-get upgrade -y && \ apt-get dist-upgrade -y && \