sha256:6ac2896d04066bca9ecc6adf41c07ad40d02b8fce263ac9187e33da60f4dada0
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:6ac2896d04066bca9ecc6adf41c07ad40d02b8fce263ac9187e33da60f4dada0
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:6ac2896d04066bca9ecc6adf41c07ad40d02b8fce263ac9187e33da60f4dada0
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:6ac2896d04066bca9ecc6adf41c07ad40d02b8fce263ac9187e33da60f4dada0@sha256:f0ac0ed0dab50134ab5d3856a337b937d99f5763b51c59b3e251e829d5813f9f
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:6ac2896d04066bca9ecc6adf41c07ad40d02b8fce263ac9187e33da60f4dada0@sha256:cea4da0ecbd4148bd36a22e33aeab48432995e1aed7e58389e7a475a63f04812
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:6ac2896d04066bca9ecc6adf41c07ad40d02b8fce263ac9187e33da60f4dada0@sha256:00d85da125fdbb57bebad5f58c122af8e85b42b188b3815559460c84228753cc
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