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