chore(.docker): add missing library (#8370)

Something must have changed that now needs this library. It's only installed in an intemediate build, anyway.
leanprover-community · Jul 20, 2021 · b3fbcec · b3fbcec
1 parent e0467bd
commit b3fbcec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/debian/lean/Dockerfile b/.docker/debian/lean/Dockerfile
@@ -11,7 +11,7 @@ FROM debian as leanproject-builder
 
 USER root
 # install prerequisites
-RUN apt-get update && apt-get install curl git python3 python3-pip python3-venv -y && apt-get clean
+RUN apt-get update && apt-get install curl git python3 python3-pip python3-venv zlib1g-dev -y && apt-get clean
 # create a non-root user
 RUN useradd -m lean