fix: Also pin {rocq-core, rocq-runtime}

This patch happens to be necessary for rocq/opam projects that depend
on rocq-core (for example), and not on rocq-prover directly.

See-also: rocq-community/gaia#27 (comment)

Author: erikmd

rocq/stable/Dockerfile

@@ -16,9 +16,8 @@ RUN set -x \
   && opam update -y -u \
   && opam pin add -n -k version rocq-stdlib ${ROCQ_VERSION} \
   && opam pin add -n -k version rocq-prover ${ROCQ_VERSION} \
-  # We need not pin rocq-core nor rocq-runtime
-  # as rocq-prover => "rocq-core" {= version}
-  # and rocq-core => "rocq-runtime" {= version}
+  && opam pin add -n -k version rocq-core ${ROCQ_VERSION} \
+  && opam pin add -n -k version rocq-runtime ${ROCQ_VERSION} \
   && opam pin add -n -k version coqide-server ${ROCQ_VERSION} \
   # We don't install coq-core nor coq as they're transitional pkgs whose install time is negligible
   && opam install -y -v -j "${NJOBS}" rocq-prover coqide-server ${ROCQ_EXTRA_OPAM} \