rpgoldman/popper-prt:latest

Index digest

sha256:969899e1c6c3d476f379b29abbe9d522cb312381bb646468de82afb3053b28da

OS/ARCH

linux/amd64

Compressed size

426.54 MB

Last pushed

7 months by rpgoldman

Type

Image

Manifest digest

sha256:a811df9a5236533c6e7e18c61d1d592bc2146b6392be6b7073ce8ce860de5c43

Image Layers

1ARG RELEASE0 B

2ARG LAUNCHPAD_BUILD_ARCH0 B

3LABEL org.opencontainers.image.ref.name=ubuntu0 B

4LABEL org.opencontainers.image.version=24.040 B

5ADD file ... in / 28.35 MB

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

7RUN /bin/sh -c apt-get update56.05 MB

8RUN /bin/sh -c curl -fsSL2.94 KB

9RUN /bin/sh -c echo "deb268 B

10RUN /bin/sh -c apt-get update63.48 KB

11RUN /bin/sh -c apt-get install171.82 MB

12COPY . /prt # buildkit1.19 MB

13RUN /bin/sh -c echo &&1.23 KB

14RUN /bin/sh -c apt-get update126.04 MB

15RUN /bin/sh -c apt-add-repository ppa:swi-prolog/stable21.81 MB

16RUN /bin/sh -c wget https://maxsat-evaluations.github.io/2023/mse23-solver-src/anytime/NuWLS-c-2023.zip21.18 MB

17RUN /bin/sh -c mkdir /popper-prt100 B

18COPY popper-prt.tar /popper-prt # buildkit14.22 KB

19RUN /bin/sh -c cd /popper-prt14.18 KB

20WORKDIR /popper-prt32 B

21ENV POPPER_PYTHON=/usr/bin/python30 B

Command

 ARG RELEASE