fredblgr/framac-novnc:2021-arm64

Manifest digest

sha256:9c129ccaca05017cfd499416a38e6d4b2cfc67f84798ea1ac570edb536c2433a

OS/ARCH

linux/arm64

Compressed size

1.64 GB

Last pushed

over 4 years by fredblgr

Type

Image

Manifest digest

sha256:9c129ccaca05017cfd499416a38e6d4b2cfc67f84798ea1ac570edb536c2433a

Image Layers

Image Layers

1ADD file ... in / 25.91 MB

2/bin/sh -c set -xe &&849 B

3/bin/sh -c [ -z "$(apt-get0 B

4/bin/sh -c mkdir -p /run/systemd187 B

5CMD ["/bin/bash"]0 B

6ENV DEBIAN_FRONTEND=noninteractive0 B

7RUN /bin/sh -c apt-get update162.96 MB

8RUN /bin/sh -c apt-get update16.9 MB

9RUN /bin/sh -c apt-get update27.55 MB

10RUN /bin/sh -c apt-get update34.19 MB

11ARG TINI_VERSION=v0.19.00 B

12RUN |1 TINI_VERSION=v0.19.0 /bin/sh -c275.29 KB

13RUN |1 TINI_VERSION=v0.19.0 /bin/sh -c163.65 MB

14COPY killsession/ /tmp/killsession # buildkit12.72 KB

15RUN |1 TINI_VERSION=v0.19.0 /bin/sh -c15.71 KB

16COPY rootfs/usr/local/lib/web/backend/requirements.txt /tmp/ # buildkit373 B

17RUN |1 TINI_VERSION=v0.19.0 /bin/sh -c30.69 MB

18RUN |1 TINI_VERSION=v0.19.0 /bin/sh -c356 B

19LABEL [email protected]0 B

20COPY /src/web/dist/ /usr/local/lib/web/frontend/ # buildkit1.47 MB

21COPY rootfs / # buildkit11.79 MB

22RUN /bin/sh -c ln -sf366 B

23EXPOSE map[80/tcp:{}]0 B

24WORKDIR /root32 B

25ENV HOME=/home/ubuntu SHELL=/bin/bash0 B

26HEALTHCHECK &{["CMD-SHELL" "curl --fail http://127.0.0.1:6079/api/health"]0 B

27ENTRYPOINT ["/startup.sh"]0 B

28ARG arch0 B

29ARG DEBIAN_FRONTEND=noninteractive0 B

30ENV TZ=Europe/Paris0 B

31ENV LIBGL_ALWAYS_INDIRECT=10 B

32RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh19.11 MB

33RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh157.62 MB

34RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh41.84 MB

35RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh368.69 MB

36RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh861.74 KB

37COPY altergo/alt-ergo_240_arm64 /usr/local/bin/alt-ergo # buildkit3.43 MB

38RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh3.43 MB

39COPY z3/z3_486_arm64 /usr/local/bin/z3 # buildkit10.34 MB

40RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh10.34 MB

41COPY eprover/eprover_20_arm64 /usr/local/bin/eprover # buildkit584.68 KB

42RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh584.68 KB

43RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh32 B

44RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh32 B

45COPY cvc4/cvc4_17_arm64 /usr/local/bin/cvc4 # buildkit210 B

46COPY cvc4/libcvc4parser.so.6_arm64 /usr/local/lib/ # buildkit226 B

47COPY cvc4/libcvc4.so.6_arm64 /usr/local/lib/ # buildkit221 B

48RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh234 B

49RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh6.01 MB

50RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh5.53 MB

51RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh5.63 MB

52RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh6.12 MB

53RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh2.24 KB

54RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh3.77 KB

55RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh386 MB

56RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh178 B

57RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh398 B

58RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh28.16 MB

59RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh20.73 MB

60RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh132.08 MB

61RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh583.75 KB

62RUN |2 arch=arm64 DEBIAN_FRONTEND=noninteractive /bin/sh382 B

Command

ADD file:545034ea3827af1e798fe258a2c4b8bb8fb5badc040b6003de9523eb395fa271 in /