binghelisp/hol-dev:latest

Multi-platform

Languages & frameworks

Developer tools

Index digest

sha256:bf27b9b487601599563074f91e63042ba52bbc9153255f978e9b0da5a1346f48

OS/ARCH

Compressed size

2.25 GB

Last pushed

12 months by binghelisp

Type

Image

Manifest digest

sha256:ec85cd52c4c87dfe012fc690ae3e0fe0afb358798194379630e4eb21f7d48fcc

Image Layers

Image Layers

1# debian.sh --arch 'arm64' out/47.34 MB

2LABEL org.opencontainers.image.authors=Chun Tian (binghe) <[email protected]>0 B

3ARG TARGETPLATFORM=linux/arm640 B

4ARG BUILDPLATFORM=linux/amd640 B

5ARG POLY_VERSION=master0 B

6RUN |3 TARGETPLATFORM=linux/arm64 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/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master15.51 MB

13RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master186.64 MB

14RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master68.6 MB

15RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master130.57 MB

16RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master39.62 MB

17RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B

18COPY mosml-gcc-13.patch /ML # buildkit377 B

19RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master2.45 MB

20RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master2.23 KB

21RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master5.03 MB

22RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master162 B

23RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master7.71 MB

24RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master171.92 KB

25RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master7.09 MB

26RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master3.7 MB

27RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master154 B

28RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B

29RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B

30RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B

31RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master13.67 MB

32RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master2.03 MB

33RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master939.44 KB

34RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master158 B

35RUN |3 TARGETPLATFORM=linux/arm64 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/arm640 B

41ARG BUILDPLATFORM=linux/amd640 B

42RUN |2 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 /bin/sh176 B

43WORKDIR /ML32 B

44RUN |2 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 /bin/sh32 B

45RUN |2 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 /bin/sh32 B

46RUN |2 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 /bin/sh32 B

47RUN |2 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 /bin/sh46.62 MB

48ARG Z3_VERSION=4.13.00 B

49RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

50RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.047.18 MB

51RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

52RUN |3 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

53ARG CVC5_VERSION=1.1.20 B

54RUN |4 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

55ARG SMV_VERSION=2.0.00 B

56RUN |5 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.0117 B

57RUN |5 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

58RUN |5 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.06.04 MB

59RUN |5 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

60ENV HOL4_SMV_EXECUTABLE=/ML/solvers/NuRV0 B

61RUN |5 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

62RUN |5 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.0254.16 MB

63RUN |5 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.0283.48 MB

64RUN |5 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.01.07 GB

65RUN |5 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

66ARG PANDOC_VERSION=3.7.0.20 B

67RUN |6 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

68RUN |6 TARGETPLATFORM=linux/arm64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.035.89 MB

Command

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