hotfix(docker-rocq): s/coq-stdlib/rocq-core/

docker-keeper: rebuild-keyword: dev

See-also: rocq-prover/rocq#19530 (comment)

Author: erikmd

rocq/dev/Dockerfile

@@ -19,10 +19,10 @@ RUN set -x \
   && opam repository add --all-switches --set-default coq-core-dev https://coq.inria.fr/opam/core-dev \
   && opam update -y -u \
   && opam pin add -n -y -k git coq-core.${ROCQ_VERSION} "git+https://github.com/coq/coq#${ROCQ_COMMIT}" \
-  && opam pin add -n -y -k git coq-stdlib.${ROCQ_VERSION} "git+https://github.com/coq/coq#${ROCQ_COMMIT}" \
+  && opam pin add -n -y -k git rocq-core.${ROCQ_VERSION} "git+https://github.com/coq/coq#${ROCQ_COMMIT}" \
   && opam pin add -n -y -k git coqide-server.${ROCQ_VERSION} "git+https://github.com/coq/coq#${ROCQ_COMMIT}" \
   && opam pin add -n -y -k git coq.${ROCQ_VERSION} "git+https://github.com/coq/coq#${ROCQ_COMMIT}" \
-  && opam install -y -v -j "${NJOBS}" coq-core coq-stdlib coqide-server coq ${ROCQ_EXTRA_OPAM} \
+  && opam install -y -v -j "${NJOBS}" coq-core rocq-core coqide-server coq ${ROCQ_EXTRA_OPAM} \
   && opam clean -a -c -s --logs \
   # TODO-LATER: Use /home/rocq
   && chmod -R g=u /home/coq/.opam \