From c52cb63f268b6e3a4b144bb651a1ba2fc2262a82 Mon Sep 17 00:00:00 2001
From: Hanyuan Li <work@hanyuone.live>
Date: Fri, 22 May 2026 13:13:09 +1000
Subject: [PATCH] fix: pysvf is no longer on test pypi

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

diff --git a/Dockerfile b/Dockerfile
index 50d1cd8..1b8a0d7 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -26,7 +26,7 @@ RUN apt-get install -y $build_deps $lib_deps
 # has been intermittently unreachable from CI runners (HTTP 504 / 2-minute timeouts
 # from add-apt-repository), and SVF does not pin a Python version.
 RUN apt-get install -y python3-dev python3-pip python3-ipykernel
-RUN python3 -m pip install --break-system-packages pysvf -i https://test.pypi.org/simple/
+RUN python3 -m pip install --break-system-packages pysvf
 RUN python3 -m pip install --break-system-packages z3-solver
 
 # Fetch and build SVF source.