diff --git a/dockerfile b/dockerfile
index f892b53..36ef2f2 100644
--- a/dockerfile
+++ b/dockerfile
@@ -24,7 +24,7 @@ RUN cmake .. -DCMAKE_BUILD_TYPE=Release  -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON
 RUN make lib_carl -j $no_threads
 
 # Build tempest
-RUN git clone https://git.pranger.xyz/TEMPEST/tempest-devel.git /opt/tempest
+RUN git clone -b tempestpy_adaptions https://git.pranger.xyz/sp/tempest.git /opt/tempest
 RUN mkdir -p /opt/tempest/build
 WORKDIR /opt/tempest/build
 RUN cmake .. -DCMAKE_BUILD_TYPE=Release -DSTORM_DEVELOPER=OFF -DSTORM_LOG_DISABLE_DEBUG=ON -DSTORM_PORTABLE=OFF -DSTORM_USE_SPOT_SHIPPED=ON
@@ -65,7 +65,7 @@ RUN python setup.py build_ext -j $no_threads
 RUN pip install .
 
 # build tempestpy
-RUN git clone https://git.pranger.xyz/TEMPEST/tempest-py.git /opt/tempestpy
+RUN git clone -b refactoring https://git.pranger.xyz/sp/tempestpy.git /opt/tempestpy
 WORKDIR /opt/tempestpy
 RUN python3 setup.py build_ext --storm-dir /opt/tempest/ -j $no_threads develop