sha256:ae13cc3a85a4b298ace23d0b638f379580a81e3f2e970363e52a781fdae310af
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:ae13cc3a85a4b298ace23d0b638f379580a81e3f2e970363e52a781fdae310af
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:ae13cc3a85a4b298ace23d0b638f379580a81e3f2e970363e52a781fdae310af
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:ae13cc3a85a4b298ace23d0b638f379580a81e3f2e970363e52a781fdae310af@sha256:81efe6ddcffeb0d14677973b63d3fdef8453ff172589c617f3bd93ddb55aba1b
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:ae13cc3a85a4b298ace23d0b638f379580a81e3f2e970363e52a781fdae310af@sha256:45ad4f80a9a1762f399612907de3e35c0a34972f6fb109aaf10eddf4985a906e
Loading
Sorry, something went wrong.
Details
Download activity
- Total downloads 1
- Last 30 days 0
- Last week 0
- Today 0