rpgoldman/smtrat:latest

Manifest digest

sha256:771a869dd3865ae5bad15790c0848f6c43b2c6a4e155ef10c59233e3e5dedc62

OS/ARCH

linux/arm64/v8

Compressed size

922.64 MB

Last pushed

almost 4 years by rpgoldman

Type

Image

Manifest digest

sha256:771a869dd3865ae5bad15790c0848f6c43b2c6a4e155ef10c59233e3e5dedc62

Image Layers

1ADD file ... in / 27.07 MB

2CMD ["bash"]0 B

3ENV DEBIAN_FRONTEND=noninteractive0 B

4RUN /bin/sh -c apt-get update23.2 MB

5RUN /bin/sh -c apt-get install394.36 MB

6COPY . /usr/src/cocoa # buildkit10.51 MB

7RUN /bin/sh -c cd /usr/src/cocoa316.36 MB

8ENV DEBIAN_FRONTEND=noninteractive0 B

9RUN /bin/sh -c apt-get update13.75 MB

10RUN /bin/sh -c useradd -m5.11 KB

11RUN /bin/sh -c apt list92 B

12RUN /bin/sh -c git config189 B

13COPY . carl/ # buildkit14.48 MB

14ENV BOOST_LIB_DIR=/carl/build/resources/src/boost/lib0 B

15RUN /bin/sh -c cd carl/229 B

16RUN /bin/sh -c cd /carl29.06 MB

17RUN /bin/sh -c apt-get update7.37 MB

18COPY . /usr/src/smt-rat # buildkit66.52 MB

19RUN /bin/sh -c cd /usr/src/smt-rat19.96 MB

Command

ADD file:3db67543ea64bf6723921d19cc5d0483db5c6658fc95834d8b2b5ed48a4cbacd in /