Sign inSign up

zyasserd/agda:latest-compiled-haskell

Multi-platform
Languages & frameworks
Developer tools
Index digest

sha256:3b48cc49f269a0687835a3c2bf82ffaa8f88bcd15206879f06320e05262a4c0b

OS/ARCH

Compressed size

828.42 MB

Last pushed

over 2 years by zyasserd

Type

Image

Manifest digest

sha256:e919fbbc6a272417b8b0348e8750300aeae8d13fb20804e831b3e0dcba4e7d2e

Image Layers

Image Layers

1ADD file ... in / 24.77 MB
2CMD ["bash"]0 B
3ENV LANG=C.UTF-80 B
4/bin/sh -c apt-get update &&83.98 MB
5ARG STACK=2.15.10 B
6ARG STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB4420 B
7|2 STACK=2.15.1 STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442 /bin/sh -c22.65 MB
8ARG CABAL_INSTALL=3.10.2.00 B
9ARG CABAL_INSTALL_RELEASE_KEY=EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF0 B
10|4 CABAL_INSTALL=3.10.2.0 CABAL_INSTALL_RELEASE_KEY=EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF STACK=2.15.1 STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB4429.64 MB
11ARG GHC=9.8.10 B
12ARG GHC_RELEASE_KEY=FFEB7CE81E16A36B3E2DED6F2DE04D4E97DB64AD0 B
13|6 CABAL_INSTALL=3.10.2.0 CABAL_INSTALL_RELEASE_KEY=EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF GHC=9.8.1 GHC_RELEASE_KEY=FFEB7CE81E16A36B3E2DED6F2DE04D4E97DB64AD289.78 MB
14ENV PATH=/root/.cabal/bin:/root/.local/bin:/opt/ghc/9.8.1/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B
15CMD ["ghci"]0 B
16ENV so=that agda works0 B
17ENV PATH=/root/.cabal/bin:/root/.local/bin:/opt/ghc/9.8.1/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/root/.local/bin0 B
18COPY /root/.local/ /root/.local/ # buildkit111.54 MB
19COPY /root/.agda /root/.agda # buildkit286.06 MB

Command

ADD file:56f9fb4bf0b803f4553b7fe668c34676467e662e3ab02af10e815a93ebbde1d6 in /