Sign inSign up

binghelisp/hol-dev:latest

Multi-platform
Languages & frameworks
Developer tools
Index digest

sha256:bf27b9b487601599563074f91e63042ba52bbc9153255f978e9b0da5a1346f48

OS/ARCH

Compressed size

2.18 GB

Last pushed

12 months by binghelisp

Type

Image

Manifest digest

sha256:cd67fb681964440ef4a534e636a07342513ca203ad64bd7552209f1ed950910f

Image Layers

Image Layers

1# debian.sh --arch 'i386' out/48.44 MB
2LABEL org.opencontainers.image.authors=Chun Tian (binghe) <[email protected]>0 B
3ARG TARGETPLATFORM=linux/3860 B
4ARG BUILDPLATFORM=linux/amd640 B
5ARG POLY_VERSION=master0 B
6RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master171 B
7WORKDIR /ML92 B
8VOLUME [/ML]0 B
9ENV DEBIAN_FRONTEND=noninteractive0 B
10ENV LD_LIBRARY_PATH=/usr/local/lib:/ML/polyml/lib0 B
11ENV PATH=/ML/polyml/bin:/ML/HOL/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B
12RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master15.79 MB
13RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master195.78 MB
14RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master68.62 MB
15RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master129.87 MB
16RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master47.17 MB
17RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B
18COPY mosml-gcc-13.patch /ML # buildkit377 B
19RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master2.45 MB
20RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master2.22 KB
21RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master4.71 MB
22RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master164 B
23RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master7.71 MB
24RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master172.19 KB
25RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master5.33 MB
26RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master2.58 MB
27RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master152 B
28RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B
29RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B
30RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B
31RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master13.67 MB
32RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master1.48 MB
33RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master595.41 KB
34RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master158 B
35RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master5.28 MB
36ENV LANG=en_US.UTF-80 B
37ENV LANGUAGE=en_US:en0 B
38ENV LC_ALL=en_US.UTF-80 B
39LABEL org.opencontainers.image.authors=Chun Tian (binghe) <[email protected]>0 B
40ARG TARGETPLATFORM=linux/3860 B
41ARG BUILDPLATFORM=linux/amd640 B
42RUN |2 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 /bin/sh176 B
43WORKDIR /ML32 B
44RUN |2 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 /bin/sh14.74 MB
45RUN |2 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 /bin/sh14.75 MB
46RUN |2 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 /bin/sh32 B
47RUN |2 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 /bin/sh32 B
48ARG Z3_VERSION=4.13.00 B
49RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B
50RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B
51RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B
52RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.02.95 MB
53ARG CVC5_VERSION=1.1.20 B
54RUN |4 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B
55ARG SMV_VERSION=2.0.00 B
56RUN |5 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.0117 B
57RUN |5 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B
58RUN |5 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B
59RUN |5 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B
60ENV HOL4_SMV_EXECUTABLE=/ML/solvers/NuRV0 B
61RUN |5 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B
62RUN |5 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.0269.64 MB
63RUN |5 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.0288.54 MB
64RUN |5 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.01.07 GB
65RUN |5 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B
66ARG PANDOC_VERSION=3.7.0.20 B
67RUN |6 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B
68RUN |6 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

Command

# debian.sh --arch 'i386' out/ 'trixie' '@1757289600'