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