diff --git a/ci/docker_images/ubuntu/disco/Dockerfile b/ci/docker_images/ubuntu/disco/Dockerfile index b786b49db02d899ff4dded2a887158999aab7626..f82c2ad31401e7418dbe8695c0d6cba3a3846d2f 100644 --- a/ci/docker_images/ubuntu/disco/Dockerfile +++ b/ci/docker_images/ubuntu/disco/Dockerfile @@ -243,7 +243,10 @@ RUN cd /tmp \ && pip install . \ && cd - \ && rm -Rf python-flint - + +# fix backports.weakref +RUN pip uninstall -y backports.weakref +RUN apt-get install --reinstall -y python-backports.weakref # ensure all libraries are known by the runtime linker RUN ldconfig