Sign inSign up

fabianhauser/dafny-build:latest

Manifest digest

sha256:3a1d21f880dab63d2284bb5a452c0c3db3990c4b1e15ae6e1f2c08d9f863364d

OS/ARCH

linux/amd64

Compressed size

898.77 MB

Last pushed

over 6 years by fabianhauser

Type

Image

Manifest digest

sha256:3a1d21f880dab63d2284bb5a452c0c3db3990c4b1e15ae6e1f2c08d9f863364d

Image Layers

Image Layers

1ADD file ... in / 21.48 MB
2CMD ["bash"]0 B
3ENV MONO_VERSION=5.20.1.340 B
4/bin/sh -c apt-get update 238.75 KB
5/bin/sh -c echo "deb http://download.mono-project.com/repo/debian52.95 MB
6/bin/sh -c apt-get update 133.51 MB
7ARG NODE_VERSION=10.16.30 B
8ARG BOOGIE_VERSION=2.4.20 B
9ARG Z3_RELEASE=https://github.com/Z3Prover/z3/releases/download/z3-4.8.4/z3-4.8.4.d6df51951f4c-x64-ubuntu-14.04.zip0 B
10ARG GO_RELEASE=go1.10.3.linux-amd64.tar.gz0 B
11ARG SonarScanner_RELEASE=3.0.3.7780 B
12ENV DOTNET_CLI_TELEMETRY_OPTOUT=true0 B
13ENV NODE_ENV=dev0 B
14ENV DISPLAY=:990 B
15ENV XVFB_WHD=1280x720x160 B
16ENV CXX=g++-4.90 B
17ENV CC=gcc-4.90 B
18|5 BOOGIE_VERSION=2.4.2 GO_RELEASE=go1.10.3.linux-amd64.tar.gz NODE_VERSION=10.16.3 SonarScanner_RELEASE=3.0.3.778333.99 MB
19|5 BOOGIE_VERSION=2.4.2 GO_RELEASE=go1.10.3.linux-amd64.tar.gz NODE_VERSION=10.16.3 SonarScanner_RELEASE=3.0.3.778921.79 KB
20WORKDIR /opt0 B
21|5 BOOGIE_VERSION=2.4.2 GO_RELEASE=go1.10.3.linux-amd64.tar.gz NODE_VERSION=10.16.3 SonarScanner_RELEASE=3.0.3.778126.36 MB
22ENV GOROOT=/opt/go0 B
23ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/go/bin0 B
24|5 BOOGIE_VERSION=2.4.2 GO_RELEASE=go1.10.3.linux-amd64.tar.gz NODE_VERSION=10.16.3 SonarScanner_RELEASE=3.0.3.77819.56 MB
25ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/go/bin:/opt/node/bin0 B
26|5 BOOGIE_VERSION=2.4.2 GO_RELEASE=go1.10.3.linux-amd64.tar.gz NODE_VERSION=10.16.3 SonarScanner_RELEASE=3.0.3.778751.97 KB
27|5 BOOGIE_VERSION=2.4.2 GO_RELEASE=go1.10.3.linux-amd64.tar.gz NODE_VERSION=10.16.3 SonarScanner_RELEASE=3.0.3.77832.44 MB
28ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/go/bin:/opt/node/bin:/opt/z30 B
29|5 BOOGIE_VERSION=2.4.2 GO_RELEASE=go1.10.3.linux-amd64.tar.gz NODE_VERSION=10.16.3 SonarScanner_RELEASE=3.0.3.778105.28 MB
30ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/go/bin:/opt/node/bin:/opt/z3:/opt/boogie/Binaries0 B
31|5 BOOGIE_VERSION=2.4.2 GO_RELEASE=go1.10.3.linux-amd64.tar.gz NODE_VERSION=10.16.3 SonarScanner_RELEASE=3.0.3.77871.34 MB
32ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/go/bin:/opt/node/bin:/opt/z3:/opt/boogie/Binaries:/opt/sonar-scanner/bin0 B
33ENV SONAR_RUNNER_HOME=/opt/sonar-scanner0 B
34|5 BOOGIE_VERSION=2.4.2 GO_RELEASE=go1.10.3.linux-amd64.tar.gz NODE_VERSION=10.16.3 SonarScanner_RELEASE=3.0.3.77899 B
35WORKDIR /mono0 B

Command

ADD file:003d2bac85e72555ed93f77a2b1d595a7fe51c4a9a2401496a82fc673a863fd6 in /