diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b340a3f5a..afec19a73 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -99,7 +99,7 @@ jobs:
     needs: [compile-opam, fetch-external-matrix]
     runs-on: ubuntu-24.04
     container:
-      image: ghcr.io/easycrypt/ec-build-box
+      image: ghcr.io/easycrypt/ec-build-box:jasmin
     strategy:
       fail-fast: false
       matrix:
@@ -125,8 +125,9 @@ jobs:
           -b ${{ steps.branch_name.outputs.REPO_BRANCH }} \
           ${{ matrix.target.repository }} \
           project/${{ matrix.target.name }}
-    - name: Install EasyCrypt dependencies
+    - name: Install Jasmin and EasyCrypt dependencies
       run: |
+        opam install jasmin
         opam pin add -n easycrypt easycrypt
         opam install --deps-only easycrypt
     - name: Compile & Install EasyCrypt
diff --git a/scripts/docker/Dockerfile.build b/scripts/docker/Dockerfile.build
index d3d9ec776..050e09daf 100644
--- a/scripts/docker/Dockerfile.build
+++ b/scripts/docker/Dockerfile.build
@@ -4,6 +4,7 @@ FROM ./Dockerfile.base as base-build
 
 RUN \
 	sudo apt-get -q -y install wget curl python3 python3-pip python3-yaml && \
+  sudo apt-get -q -y install libmpfr-dev libppl-dev && \
 	sudo apt-get -q -y clean
 
 RUN \