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