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