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