sha256:b8ff2e3f0ebab3561f1ebc035741158043e375662f6166501f05c662fde78187
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b8ff2e3f0ebab3561f1ebc035741158043e375662f6166501f05c662fde78187
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b8ff2e3f0ebab3561f1ebc035741158043e375662f6166501f05c662fde78187
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b8ff2e3f0ebab3561f1ebc035741158043e375662f6166501f05c662fde78187@sha256:febb0c6854d73e191fdcfb96cffefc32d47716d43c464647c467d3b31cdea594
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:b8ff2e3f0ebab3561f1ebc035741158043e375662f6166501f05c662fde78187@sha256:ee63e196b3e21c13a7fade60bbf498f8021223f7833b74e0bbb3104955eb0243
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