docker - 为什么我无法获得ocaml/opam:ubuntu-16.04_ocaml-4.03.0 docker镜像？

Question

我正在尝试运行:

docker build -f hol-light/Dockerfile_check_proofs --ulimit stack=1000000000 --tag check_proofs hol-light/

但我得到了错误:

Sending build context to Docker daemon   48.9MB
Step 1/16 : FROM ocaml/opam:ubuntu-16.04_ocaml-4.03.0
pull access denied for ocaml/opam, repository does not exist or may require 'docker login': denied: requested access to the resource is denied

为什么？

docker 文件是:https://github.com/brain-research/hol-light/blob/master/Dockerfile_check_proofs

FROM ocaml/opam:ubuntu-16.04_ocaml-4.03.0
WORKDIR /home/opam/
SHELL ["/bin/bash", "-c"]
ENV PATH="/home/opam/.opam/4.03.0/bin:${PATH}"

### Install num
RUN opam install num

### Install campl5
RUN git clone --depth 1 -b rel617 https://github.com/camlp5/camlp5
RUN cd camlp5 &&\
  ./configure &&\
  make world.opt &&\
  make install &&\
  # meta/Makefile in camlp5 skips these files which we need, so copy them
  # manually.
  cp {main/pcaml,main/quotation,etc/pa_reloc,meta/q_MLast}.{cmi,cmx,o} `camlp5 -where`

### Install grpc
RUN sudo apt-get update &&\
  sudo apt-get install -y build-essential autoconf libtool pkg-config clang libc++-dev
RUN git clone -b 'v1.17.1' --recurse-submodule --depth 1 https://github.com/grpc/grpc
RUN sudo make -C grpc install-headers_c install-static_c install-pkg-config_c\
    install-headers_cxx install-static_cxx install-pkg-config_cxx\
    install-plugins
RUN sudo make -C grpc/third_party/protobuf install

### Install farmhash
RUN git clone --depth 1 https://github.com/google/farmhash &&\
  cd farmhash &&\
  ./configure CXXFLAGS="-DNAMESPACE_FOR_HASH_FUNCTIONS=farmhash"
RUN sudo make -C farmhash install

### Build binaries
COPY --chown=opam:0 . src/
RUN make -C src check_proofs
CMD ["./src/check_proofs"]

交叉张贴:

https://forums.docker.com/t/why-cant-i-get-ocaml-opam-ubuntu-16-04-ocaml-4-03-0-docker-image/84351

Answer 1

https://hub.docker.com/r/ocaml/opam/已有两年未更新了，并说:

At some point in the future, the tags in this repository will be deleted

此删除操作目前正在进行中(实际上，它已删除一个多星期了)。
ocaml/opam(opam 1)图像现在通常不再有用，因为它们不适用于当前的opam存储库。

您可以使用两种选择:

ocaml/opam2包含opam 2图像。例如ocaml/opam2:ubuntu-16.04-ocaml-4.03

ocurrent/opam也是opam 2，但包含的图像要小得多(每个图像只有一个版本的编译器)。例如ocurrent/opam:ubuntu-16.04-ocaml-4.03但是，此存储库只是临时的。一旦Hub完成删除操作，它将替换ocaml/opam ...