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