eldesh/matita:0.99.3

Manifest digest

sha256:199195256b4bd38264d7189d6ebff6fd72e49f4d337c4d849b1a2e4201e9b3f7

OS/ARCH

linux/amd64

Compressed size

428.57 MB

Last pushed

over 5 years by eldesh

Type

Image

Manifest digest

sha256:199195256b4bd38264d7189d6ebff6fd72e49f4d337c4d849b1a2e4201e9b3f7

Image Layers

1ADD file ... in / 25.45 MB

2/bin/sh -c [ -z "$(apt-get34.54 KB

3/bin/sh -c set -xe &&847 B

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

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

6ARG MATITA_VER=0.99.30 B

7LABEL name=matita version=1 description=A0 B

8WORKDIR /matita95 B

9|1 MATITA_VER=0.99.3 /bin/sh -c apt-get403.08 MB

10ENV PATH=/usr/local/matita:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B

11COPY file:4a7931f4e7f4860934119de693b3e56036809698236f8c0f2e55fcd12e4ef175 in /matita/entrypoint.sh 214 B

12ENTRYPOINT ["/matita/entrypoint.sh"]0 B

13CMD ["matita.opt"]0 B

Command

ADD file:3ddd02d976792b6c6deed85bd3643cba43a7bce743c2a84d91336fc951e9a9ec in /