fix: better use the tagged version of rocq-stdlib

Related: coq/opam#3321 docker-keeper: rebuild-keyword: 9.0
coq-community · Feb 4, 2025 · 479b130 · 479b130
1 parent 107e82d
commit 479b130
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/rocq/beta/Dockerfile b/rocq/beta/Dockerfile
@@ -16,6 +16,7 @@ RUN set -x \
   && opam repository add --all-switches --set-default rocq-extra-dev https://coq.inria.fr/opam/extra-dev \
   && opam repository add --all-switches --set-default rocq-core-dev https://coq.inria.fr/opam/core-dev \
   && opam update -y -u \
+  && opam pin add -n -k version rocq-stdlib ${ROCQ_VERSION} \
   && opam pin add -n -k version rocq-prover ${ROCQ_VERSION} \
   && opam install -y -v -j "${NJOBS}" rocq-prover ${ROCQ_EXTRA_OPAM} \
   && opam clean -a -c -s --logs \