Skip to content
Snippets Groups Projects
Commit fcda81cc authored by Jens Georg's avatar Jens Georg
Browse files

xenial: Add PPA for armadillo 8.400

Needed for tripEventLogger's export to HDF5 support
parent 8f35b304
No related branches found
No related tags found
No related merge requests found
......@@ -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 && \
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment