Sign inSign up

eldesh/coq-refman-ja-builder:1.0.0

Manifest digest

sha256:e13fc197a6535250302c71fbb6703beb0522fe620d587893d92e3247c8617335

OS/ARCH

linux/amd64

Compressed size

585.04 MB

Last pushed

almost 5 years by eldesh

Type

Image

Manifest digest

sha256:e13fc197a6535250302c71fbb6703beb0522fe620d587893d92e3247c8617335

Image Layers

Image Layers

1ADD file ... in / 25.47 MB
2CMD ["bash"]0 B
3ARG IMAGE_VERSION0 B
4ARG OMEGAT_VERSION0 B
5ARG OMEGAT_URL0 B
6ARG OCAML_VERSION0 B
7ARG OCAMLFIND_VERSION0 B
8ARG CAMLP5_VERSION0 B
9ARG OPAM_VERSION=2.0.20 B
10ARG DEBIAN_FRONTEND=noninteractive0 B
11ENV IMAGE_VERSION=1.0.00 B
12ENV OMEGAT_VERSION=4.3.10 B
13ENV OMEGAT_URL=https://jaist.dl.sourceforge.net/project/omegat/OmegaT%20-%20Standard/OmegaT%204.3.1/OmegaT_4.3.1_Linux_64.tar.bz20 B
14ENV OPAM_VERSION=2.0.20 B
15ENV OCAML_VERSION=4.02.30 B
16ENV OCAMLFIND_VERSION=1.8.00 B
17ENV CAMLP5_VERSION=7.060 B
18LABEL org.opencontainers.image.authors=eldesh <[email protected]>0 B
19LABEL org.opencontainers.image.source=https://github.com/eldesh/coq-refman-ja/context/Dockerfile0 B
20LABEL org.opencontainers.image.version=1.0.00 B
21LABEL org.opencontainers.image.licenses=MIT License0 B
22LABEL org.opencontainers.image.base.digest=256:5a214d77f5d747e6ed81632310baa6190301feeb875cf6bf9da560108fa099720 B
23LABEL org.opencontainers.image.base.name=ubuntu:18.040 B
24|1 DEBIAN_FRONTEND=noninteractive /bin/sh -c apt-get26.74 MB
25ENV OMEGAT=OmegaT_4.3.1_Linux_64/OmegaT.jar0 B
26USER refman0 B
27WORKDIR /home/refman0 B
28COPY file:198d289dde3cc1c599a2a2ab4eebc60fa436ca7fabae3ed91fe8f0caf5cffac6 in /home/refman/ 684 B
29COPY file:5bae986dc0217aa7df97a6afc968d7da4bb561f69c36822f982ae1e994f80aa0 in /home/refman/ 203 B
30|1 DEBIAN_FRONTEND=noninteractive /bin/sh -c sudo532.83 MB
31ENTRYPOINT ["/home/refman/entrypoint.sh"]0 B
32CMD ["make"]0 B
33LABEL org.opencontainers.image.ref.name=coq-refman-ja-builder0 B
34LABEL org.opencontainers.image.title=Coq リファレンスマニュアル(非公式日本語訳) ビルダー0 B

Command

ADD file:0d82cd095966e8ee78b593cb47a352eec842edb7bd9d9468e8a70154522447d1 in /