sha256:106502e6fc46e34d6015b250e08409a4ceb7e2faa59b1626200162b1337ca413
OS/ARCH
linux/amd64
Compressed size
981.33 MB
Last pushed
about 2 years by angeloferrando
Type
Image
Manifest digest
sha256:106502e6fc46e34d6015b250e08409a4ceb7e2faa59b1626200162b1337ca413
Image Layers
1ARG RELEASE0 B2ARG LAUNCHPAD_BUILD_ARCH0 B3LABEL org.opencontainers.image.ref.name=ubuntu0 B4LABEL org.opencontainers.image.version=22.040 B5ADD file ... in / 28.17 MB6CMD ["/bin/bash"]0 B7RUN /bin/sh -c apt-get update219.83 MB8SHELL [/bin/bash -c]0 B9ENV LC_ALL=en_US.UTF-80 B10ENV LANG=en_US.UTF-80 B11ENV DEBIAN_FRONTEND=noninteractive0 B12ENV TZ=UTC0 B13RUN /bin/bash -c add-apt-repository ppa:ubuntu-toolchain-r/volatile79.38 MB14RUN /bin/bash -c git clone139 MB15WORKDIR /z332 B16RUN /bin/bash -c python3 scripts/mk_make.py716.07 KB17WORKDIR /z3/build32 B18RUN /bin/bash -c make #67.1 MB19RUN /bin/bash -c make install26.96 MB20WORKDIR /z332 B21RUN /bin/bash -c pip install111.23 MB22WORKDIR /0 B23RUN /bin/bash -c apt-get update36.11 MB24RUN /bin/bash -c apt-get install14.5 MB25RUN /bin/bash -c git clone141.2 MB26WORKDIR /cvc532 B27RUN /bin/bash -c ./configure.sh --auto-download5.19 MB28WORKDIR /cvc5/build32 B29RUN /bin/bash -c make #41.96 MB30RUN /bin/bash -c make install11.94 MB31WORKDIR /0 B32RUN /bin/bash -c git clone30.82 MB33WORKDIR /Solvent32 B34RUN /bin/bash -c pip3 install27.24 MBCommand
ARG RELEASE