diff --git a/Dockerfile b/Dockerfile index 47800e06733ca153b4c4d85fe9e63cec8c08bb7b..ba013aec5f16a7a4533aa0ee11fbed3892ad6613 100644 --- a/Dockerfile +++ b/Dockerfile @@ -44,7 +44,7 @@ RUN rpm --import http://dev.monetdb.org/downloads/MonetDB-GPG-KEY # Update & upgrade RUN yum update -y -ARG MonetDBVersion=11.23.13 +ARG MonetDBVersion=11.25.5 # Install MonetDB server RUN yum install -y MonetDB-$MonetDBVersion \ @@ -58,7 +58,8 @@ RUN yum install -y MonetDB-$MonetDBVersion \ # Install MonetDB extensions RUN yum install -y MonetDB-geom-MonetDB5-$MonetDBVersion \ MonetDB-gsl-MonetDB5-$MonetDBVersion \ - MonetDB-R-$MonetDBVersion + MonetDB-R-$MonetDBVersion \ + MonetDB-python2-$MonetDBVersion # Clean up RUN yum -y clean all