From 5ef11262520c01d3f1a7405bc4bad14a92117e1f Mon Sep 17 00:00:00 2001 From: Carsten Munk Date: Fri, 13 Nov 2020 17:51:04 +0100 Subject: [PATCH] Make the container build again Signed-off-by: Carsten Munk --- deterministic_build/Dockerfile_AndroidProof | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deterministic_build/Dockerfile_AndroidProof b/deterministic_build/Dockerfile_AndroidProof index 678ff36..352fbc7 100644 --- a/deterministic_build/Dockerfile_AndroidProof +++ b/deterministic_build/Dockerfile_AndroidProof @@ -1,6 +1,6 @@ FROM ubuntu:17.10 ARG REPO_PATH -RUN apt-get update -y && \ +RUN sed -i s/archive/old-releases/g /etc/apt/sources.list && sed -i s/security.ubuntu/old-releases.ubuntu/g /etc/apt/sources.list && apt-get update -y && \ apt-get install -y software-properties-common && \ apt-get update -y && \ apt-get install -y lib32stdc++6 lib32z1 lib32z1-dev lib32ncurses5 libc6-dev libgmp-dev libmpc-dev libmpfr-dev libxslt-dev libxml2-dev m4 ncurses-dev openssh-client wget openjdk-8-jdk python2.7 python-pip git unzip && \