sha256:b390ebd471970ae0752b3d688b9f2a90a65338bd760208c3f8e8f5b9581c7a4a
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b390ebd471970ae0752b3d688b9f2a90a65338bd760208c3f8e8f5b9581c7a4a
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b390ebd471970ae0752b3d688b9f2a90a65338bd760208c3f8e8f5b9581c7a4a
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b390ebd471970ae0752b3d688b9f2a90a65338bd760208c3f8e8f5b9581c7a4a@sha256:297f8ae4c25d1897cffde4147c115cd08dbb7422d9d79ad7951925d9cffadc9e
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b390ebd471970ae0752b3d688b9f2a90a65338bd760208c3f8e8f5b9581c7a4a@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 1
- Last 30 days 0
- Last week 0
- Today 0