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