Sign inSign up

projecteverest/fstar-linux:cc634f4e9951

Manifest digest

sha256:484251bab30a764ad0c672e42e303ad85a30dca4f71ca1609f1843d25610fb07

OS/ARCH

linux/amd64

Compressed size

4.63 GB

Last pushed

over 5 years by everbld

Type

Image

Manifest digest

sha256:484251bab30a764ad0c672e42e303ad85a30dca4f71ca1609f1843d25610fb07

Image Layers

Image Layers

1ADD file ... in / 27.22 MB
2/bin/sh -c set -xe &&851 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/877 B
7/bin/sh -c echo "deb http://mirror.math.ucdavis.edu/ubuntu/893 B
8/bin/sh -c echo "Acquire::Retries \"16\";"210 B
9/bin/sh -c apt-get --yes update22.62 MB
10/bin/sh -c apt-get install --no-install-recommends45.05 MB
11/bin/sh -c apt-key adv --keyserver1.41 KB
12/bin/sh -c echo "deb https://download.mono-project.com/repo/ubuntu244 B
13/bin/sh -c apt-get --yes update406.94 KB
14/bin/sh -c curl -sL https://deb.nodesource.com/setup_14.x360.31 KB
15/bin/sh -c add-apt-repository ppa:deadsnakes/ppa383.62 KB
16/bin/sh -c apt-get --yes update355.22 KB
17/bin/sh -c until apt-get install407.8 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.5 MB
26/bin/sh -c npm install -g2.51 MB
27/bin/sh -c npm install madoko5.64 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! |431 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 start125 B
35ENV MYHOME=/home/everest0 B
36/bin/sh -c useradd --shell /bin/bash4.57 KB
37/bin/sh -c echo "everest ALL=(ALL:ALL)539 B
38/bin/sh -c echo everest:Docker! |524 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.76 MB
45/bin/bash --login -c git config204 B
46/bin/bash --login -c git config227 B
47/bin/bash --login -c git clone2.18 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) COPY293 B
56/bin/bash --login -c #(nop) COPY1.06 KB
57/bin/bash --login -c #(nop) COPY6.39 KB
58/bin/bash --login -c #(nop) ADD329 B
59/bin/bash --login -c sudo chmod331 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=48149 B
67|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48149 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=48147 B
71/bin/bash --login -c #(nop) COPY693.66 MB
72/bin/bash --login -c #(nop) WORKDIR0 B
73|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48190 B
74|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48187 B
75|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48194 B
76|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48188 B
77|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48202 B
78/bin/bash --login -c #(nop) COPY3.71 KB
79|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=483.71 KB
80/bin/bash --login -c #(nop) COPY661 B
81|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48658 B
82|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48991.47 MB
83|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48184 B

Command

ADD file:5c44a80f547b7d68b550b0e64aef898b361666857abf9a5c8f3f8d0567b8e8e4 in /