From 5e502ff93a6bde03efed6d336548437a25f313ae Mon Sep 17 00:00:00 2001 From: Yishuai Li Date: Mon, 23 Jun 2025 13:48:08 +0800 Subject: [PATCH] fix: add archive repository --- base/coq-single/Dockerfile | 1 + base/rocq-single/Dockerfile | 1 + 2 files changed, 2 insertions(+) diff --git a/base/coq-single/Dockerfile b/base/coq-single/Dockerfile index 1f04ca1..5a85039 100644 --- a/base/coq-single/Dockerfile +++ b/base/coq-single/Dockerfile @@ -88,6 +88,7 @@ RUN set -x \ && opam switch create --jobs=${NJOBS} ${COMPILER} ${COMPILER_PACKAGE:+--package=}${COMPILER_PACKAGE} \ && eval $(opam env) \ && opam repository add --all-switches --set-default coq-released https://coq.inria.fr/opam/released \ + && opam repository add --all-switches --set-default archive git+https://github.com/ocaml/opam-repository-archive \ && opam update -y \ && opam install -y -j 1 opam-depext \ && opam pin add -n -k version ocamlfind ${OCAMLFIND_VERSION} \ diff --git a/base/rocq-single/Dockerfile b/base/rocq-single/Dockerfile index 6621019..bf7e917 100644 --- a/base/rocq-single/Dockerfile +++ b/base/rocq-single/Dockerfile @@ -88,6 +88,7 @@ RUN set -x \ && opam switch create --jobs=${NJOBS} ${COMPILER} ${COMPILER_PACKAGE:+--package=}${COMPILER_PACKAGE} \ && eval $(opam env) \ && opam repository add --all-switches --set-default rocq-released https://coq.inria.fr/opam/released \ + && opam repository add --all-switches --set-default archive git+https://github.com/ocaml/opam-repository-archive \ && opam update -y \ && opam install -y -j 1 opam-depext \ && opam pin add -n -k version ocamlfind ${OCAMLFIND_VERSION} \