diff --git a/tools/docker/Dockerfile.ubuntu20.04 b/tools/docker/Dockerfile.ubuntu20.04 index 8a74180f..a7b3c446 100644 --- a/tools/docker/Dockerfile.ubuntu20.04 +++ b/tools/docker/Dockerfile.ubuntu20.04 @@ -50,7 +50,7 @@ RUN apt-get update && DEBIAN_FRONTEND="noninteractive" apt-get install -y --no-i ocamlbuild \ pkg-config \ protobuf-compiler \ - python \ + python-is-python3 \ python3-pip \ sudo \ unzip \