diff --git a/.github/workflows/package-windows.yml b/.github/workflows/package-windows.yml
index 4f84df5c8..3e2d684a3 100644
--- a/.github/workflows/package-windows.yml
+++ b/.github/workflows/package-windows.yml
@@ -147,7 +147,8 @@ jobs:
         run: |
           eval $(opam env)
           sudo apt-get update || true
-          opam install --deps-only FStar/fstar.opam
+          # opam install --deps-only FStar/fstar.opam
+          # ^ relying on the fact that F* dependencies are already installed
           sed -i '/"fstar"/d' karamel/karamel.opam
           # ^ remove F* dependency of karamel, it is outdated and will conflict.
           opam install --deps-only karamel/karamel.opam