badouralix/nusmv:latest

Manifest digest

sha256:96ac90ba3ae63f9423ad26611ac4c6f8774fe383baff73bc3fbc09456246992e

OS/ARCH

linux/amd64

Compressed size

9.71 MB

Last pushed

almost 5 years by badouralix

Type

Image

Manifest digest

sha256:96ac90ba3ae63f9423ad26611ac4c6f8774fe383baff73bc3fbc09456246992e

Image Layers

1ADD file ... in / 2.01 MB

2CMD ["/bin/sh"]0 B

3LABEL org.opencontainers.image.authors=Ayaz BADOURALY0 B

4LABEL org.opencontainers.image.description=Docker image with NuSMV0 B

5WORKDIR /input101 B

6COPY entrypoint.sh / # buildkit963 B

7COPY nusmv /opt/nusmv # buildkit7.7 MB

8ENV PATH=/opt/nusmv/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B

9ENTRYPOINT ["/entrypoint.sh"]0 B

10CMD ["nusmv"]0 B

Command

ADD file:aa17928040e31624cad9c7ed19ac277c5402c4b9ba39f834250affca40c4046e in /