sha256:6e6155a25b559ae9feee36bf5def538d2cb27b915b896ed11666b60617e3b5fa
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:6e6155a25b559ae9feee36bf5def538d2cb27b915b896ed11666b60617e3b5fa
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:6e6155a25b559ae9feee36bf5def538d2cb27b915b896ed11666b60617e3b5fa
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:6e6155a25b559ae9feee36bf5def538d2cb27b915b896ed11666b60617e3b5fa@sha256:034cee730c9512b00eda0cddfb0d48640064d741654037c6d844ba1e3cbb0b5e
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:6e6155a25b559ae9feee36bf5def538d2cb27b915b896ed11666b60617e3b5fa@sha256:297f8ae4c25d1897cffde4147c115cd08dbb7422d9d79ad7951925d9cffadc9e
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:6e6155a25b559ae9feee36bf5def538d2cb27b915b896ed11666b60617e3b5fa@sha256:8cd88c2a2f3d42b5a3dfc72d890de0da8e099839829ed1751f1bd207dad4a99f
Loading
Sorry, something went wrong.
Details
- idris-2-docker/devcontainer
-
joshuanianji
- joshuanianji/idris-2-docker
- about 1 year ago
Download activity
- Total downloads 10
- Last 30 days 0
- Last week 0
- Today 0