From 3d7d3573022a32eef9d8c8b050771218013fbe61 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Thu, 2 Mar 2023 16:20:28 +0000
Subject: [PATCH] Added python3-urllib3, which is required by pipenv.

---
 debian4isabelle/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian4isabelle/Dockerfile b/debian4isabelle/Dockerfile
index 2705569..3d6bba9 100644
--- a/debian4isabelle/Dockerfile
+++ b/debian4isabelle/Dockerfile
@@ -37,7 +37,7 @@ RUN apt-get -y update && \
       # texlive for Isabelle's PDF document generation
       texlive-full \
       # Python tools and graphviz for add-ons
-      python3-pip graphviz pipenv python3-sklearn-pandas python3-seaborn jupyter-nbconvert \
+      python3-pip graphviz pipenv python3-urllib3 python3-sklearn-pandas python3-seaborn jupyter-nbconvert \
       && \
   apt-get clean && \
   rm -rf /usr/share/doc