Sign inSign up

projecteverest/fstar-linux:a6570b940fed

Manifest digest

sha256:bec5f5db36a01f9efc69e26e93180b3990c6dfadd1ac60f74b0fd8c2c8a6baeb

OS/ARCH

linux/amd64

Compressed size

4.62 GB

Last pushed

over 5 years by everbld

Type

Image

Manifest digest

sha256:bec5f5db36a01f9efc69e26e93180b3990c6dfadd1ac60f74b0fd8c2c8a6baeb

Image Layers

Image Layers

1ADD file ... in / 27.25 MB
2/bin/sh -c set -xe &&848 B
3/bin/sh -c [ -z "$(apt-get0 B
4/bin/sh -c mkdir -p /run/systemd187 B
5CMD ["/bin/bash"]0 B
6/bin/sh -c echo 'deb http://mirror.pnl.gov/ubuntu/876 B
7/bin/sh -c echo "deb http://mirror.math.ucdavis.edu/ubuntu/890 B
8/bin/sh -c echo "Acquire::Retries \"16\";"208 B
9/bin/sh -c apt-get --yes update22.59 MB
10/bin/sh -c apt-get install --no-install-recommends45.37 MB
11/bin/sh -c apt-key adv --keyserver1.41 KB
12/bin/sh -c echo "deb https://download.mono-project.com/repo/ubuntu243 B
13/bin/sh -c apt-get --yes update406.91 KB
14/bin/sh -c curl -sL https://deb.nodesource.com/setup_14.x360.32 KB
15/bin/sh -c add-apt-repository ppa:deadsnakes/ppa383.44 KB
16/bin/sh -c apt-get --yes update355.18 KB
17/bin/sh -c until apt-get install407.79 MB
18/bin/sh -c ln -sf /usr/bin/python3.6150 B
19/bin/sh -c pip3 install sphinx==1.7.244.71 MB
20/bin/sh -c wget https://downloads.sourceforge.net/project/scons/scons/3.0.1/scons-3.0.1.tar.gz620.06 KB
21/bin/sh -c tar xf scons-3.0.1.tar.gz626.33 KB
22WORKDIR /scons-3.0.10 B
23/bin/sh -c python3.6 setup.py install1.42 MB
24WORKDIR /0 B
25/bin/sh -c npm install -g20.49 MB
26/bin/sh -c npm install -g2.51 MB
27/bin/sh -c npm install madoko5.62 MB
28/bin/sh -c npm install http-server1.87 MB
29/bin/sh -c mkdir /var/run/sshd113 B
30/bin/sh -c echo root:Docker! |429 B
31/bin/sh -c sed -i 's/PermitRootLogin1.6 KB
32/bin/sh -c sed 's@session\s*required\s*pam_loginuid.so@session optional1.01 KB
33/bin/sh -c sed -i 's/PermitRootLogin1.6 KB
34/bin/sh -c service ssh start0 B
35ENV MYHOME=/home/everest0 B
36/bin/sh -c useradd --shell /bin/bash4.58 KB
37/bin/sh -c echo "everest ALL=(ALL:ALL)537 B
38/bin/sh -c echo everest:Docker! |525 B
39/bin/bash --login -c #(nop) 0 B
40/bin/bash --login -c #(nop) 0 B
41/bin/bash --login -c #(nop) WORKDIR0 B
42/bin/bash --login -c #(nop) 0 B
43/bin/bash --login -c #(nop) 0 B
44/bin/bash --login -c opam init186.73 MB
45/bin/bash --login -c git config203 B
46/bin/bash --login -c git config228 B
47/bin/bash --login -c git clone2.17 MB
48/bin/bash --login -c rm -rf0 B
49/bin/bash --login -c #(nop) 0 B
50/bin/bash --login -c ./everest/everest --yes2.23 GB
51/bin/bash --login -c eval $(opam0 B
52/bin/bash --login -c echo "echo1.91 KB
53/bin/bash --login -c #(nop) 0 B
54/bin/bash --login -c #(nop) WORKDIR0 B
55/bin/bash --login -c #(nop) COPY294 B
56/bin/bash --login -c #(nop) COPY1.06 KB
57/bin/bash --login -c #(nop) COPY6.38 KB
58/bin/bash --login -c #(nop) ADD334 B
59/bin/bash --login -c sudo chmod334 B
60/bin/bash --login -c #(nop) 0 B
61/bin/bash --login -c #(nop) 0 B
62/bin/bash --login -c #(nop) 0 B
63/bin/bash --login -c #(nop) 0 B
64/bin/bash --login -c #(nop) 0 B
65|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=480 B
66|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48150 B
67|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48150 B
68/bin/bash --login -c #(nop) COPY1.46 KB
69|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=481.46 KB
70|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48148 B
71/bin/bash --login -c #(nop) COPY690.12 MB
72/bin/bash --login -c #(nop) WORKDIR0 B
73|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48194 B
74|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48191 B
75|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48198 B
76|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48190 B
77|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48202 B
78/bin/bash --login -c #(nop) COPY3.72 KB
79|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=483.71 KB
80/bin/bash --login -c #(nop) COPY665 B
81|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48665 B
82|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48986.44 MB
83|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48186 B

Command

ADD file:27277aee655dd263ee698d1f2fe17f0b1dbba740615bcac8642723a6ac0d62be in /