sha256:4982b01ed4000ecfb76a0af555dee42a0f930415da2f1c59ab35c2e0febec30c
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:4982b01ed4000ecfb76a0af555dee42a0f930415da2f1c59ab35c2e0febec30c
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:4982b01ed4000ecfb76a0af555dee42a0f930415da2f1c59ab35c2e0febec30c
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:4982b01ed4000ecfb76a0af555dee42a0f930415da2f1c59ab35c2e0febec30c@sha256:669ac31b7400571d40e2a5b3b60f6a911b3dcf55a1b97c5ab167b460ce7acdb5
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:4982b01ed4000ecfb76a0af555dee42a0f930415da2f1c59ab35c2e0febec30c@sha256:23c862fe6170ba72de43a03c6cafe10b707a41c8f5702f3913689f1150292b41
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:4982b01ed4000ecfb76a0af555dee42a0f930415da2f1c59ab35c2e0febec30c@sha256:c2f9b40b21d0ba9fab8ad45e34ab3b6a43477d3bbf29b3b3881f41d16718f609
Loading
Sorry, something went wrong.
Details
- idris-2-docker/devcontainer
-
joshuanianji
- joshuanianji/idris-2-docker
- about 1 year ago
Download activity
- Total downloads 11
- Last 30 days 0
- Last week 0
- Today 0