erikmd/build-sha1-demo:latest

Manifest digest

sha256:dbf140faad7b8529a530b29b34c4b6d850134a6f1b44a8f7a2d567e18b5072be

OS/ARCH

linux/amd64

Compressed size

813.49 MB

Last pushed

over 7 years by erikmd

Type

Image

Manifest digest

sha256:dbf140faad7b8529a530b29b34c4b6d850134a6f1b44a8f7a2d567e18b5072be

Image Layers

1ADD file ... in / 43.22 MB

2CMD ["bash"]0 B

3LABEL [email protected]0 B

4/bin/sh -c apt-get update -y99 MB

5ARG guest_uid=10000 B

6ARG guest_gid=10000 B

7|2 guest_gid=1000 guest_uid=1000 /bin/sh -c3.35 KB

8COPY file:cc5001ad253861712d57ed13730fe74ca2182e793a9cc8428d885dec6c1b2013 in /etc/profile.d/ 602 B

9WORKDIR /home/coq0 B

10USER coq0 B

11ENV NJOBS=20 B

12ENV COMPILER=4.05.00 B

13ENV COMPILER_EDGE=4.07.0+flambda0 B

14|2 guest_gid=1000 guest_uid=1000 /bin/bash --login125.49 MB

15|2 guest_gid=1000 guest_uid=1000 /bin/bash --login84.32 MB

16ENTRYPOINT ["opam" "exec" "--"]0 B

17CMD ["/bin/bash" "--login"]0 B

18ARG BUILD_DATE0 B

19ARG VCS_REF0 B

20ARG COQ_COMMIT0 B

21ARG COQ_VERSION0 B

22LABEL [email protected]0 B

23LABEL org.label-schema.build-date=2019-04-13T16:25:58Z org.label-schema.name=The Coq0 B

24ENV COQ_VERSION=dev0 B

25ENV COQ_EXTRA_OPAM=coq-bignums0 B

26|3 BUILD_DATE=2019-04-13T16:25:58Z COQ_COMMIT=adc53b598ee2787cf23d8540f03634d19457c806 VCS_REF=adc53b5 /bin/bash461.46 MB

Command

ADD file:a61c14b18252183a4719980da97ac483044bcaa9df8a569a6d7bf0f719384b5e in /