projecteverest/mitls-fstar-linux:911729a18787

Manifest digest

sha256:fcf6748218e1833963f93dd1d07c573001339207356b37375e9f6222fee2069b

OS/ARCH

linux/amd64

Compressed size

6.17 GB

Last pushed

over 5 years by everbld

Type

Image

Manifest digest

sha256:fcf6748218e1833963f93dd1d07c573001339207356b37375e9f6222fee2069b

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-ulong MAXTHREADS=480 B

66|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=48150 B

67|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=48150 B

68/bin/bash --login -c #(nop) COPY1.46 KB

69|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=481.46 KB

70|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=48148 B

71/bin/bash --login -c #(nop) COPY687.5 MB

72/bin/bash --login -c #(nop) WORKDIR0 B

73|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=48194 B

74|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=48191 B

75|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=48194 B

76|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=48190 B

77|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=48203 B

78/bin/bash --login -c #(nop) COPY3.71 KB

79|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=483.71 KB

80/bin/bash --login -c #(nop) COPY663 B

81|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=48661 B

82|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=481.02 GB

83|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=48187 B

84/bin/bash --login -c #(nop) 0 B

85/bin/bash --login -c #(nop) 0 B

86/bin/bash --login -c #(nop) 0 B

87/bin/bash --login -c #(nop) 0 B

88|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=480 B

89|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48150 B

90|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48150 B

91/bin/bash --login -c #(nop) COPY1.46 KB

92|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=481.46 KB

93|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48152 B

94/bin/bash --login -c #(nop) COPY84.4 MB

95|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48165 B

96|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48171 B

97|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48171 B

98|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48173 B

99|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48170 B

100|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=480 B

101|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48165 B

102|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48165 B

103|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=480 B

104|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48194 B

105|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48190 B

106|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48196 B

107|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48189 B

108|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48202 B

109/bin/bash --login -c #(nop) COPY3.48 KB

110|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=483.47 KB

111/bin/bash --login -c #(nop) COPY594 B

112|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48591 B

113|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=481.41 GB

114|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify_and_hints MAXTHREADS=48186 B

Command

ADD file:27277aee655dd263ee698d1f2fe17f0b1dbba740615bcac8642723a6ac0d62be in /