diff options
-rw-r--r-- | docker/ubuntu_18_3/Dockerfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docker/ubuntu_18_3/Dockerfile b/docker/ubuntu_18_3/Dockerfile index 52d91a7..866deb8 100644 --- a/docker/ubuntu_18_3/Dockerfile +++ b/docker/ubuntu_18_3/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu +FROM ubuntu:16.04 RUN apt-get -y update @@ -7,7 +7,7 @@ RUN apt-get install -y \ make \ git \ wget \ - erlang=1:18.3-dfsg-1ubuntu3 \ + erlang=1:18.3-dfsg-1ubuntu3.1 \ build-essential \ devscripts \ fakeroot \ |