diff --git a/docker/deploy-env/Dockerfile b/docker/deploy-env/Dockerfile index b5a128ac4bdb4561d012eed6f06f5b35cabc97b8..62a1e3f212f4c5a593f4230b731b83ff12ee2f9b 100644 --- a/docker/deploy-env/Dockerfile +++ b/docker/deploy-env/Dockerfile @@ -10,7 +10,7 @@ RUN set -e -x ;\ llvm \ python3-pip ;\ pip3 install \ - clang \ + clang==10.0.1 \ sphinx \ sphinx_rtd_theme ;\ rm -rf /var/lib/apt/lists