sha256:e8e62e025998c0f102b594134fd6e12fe6ead8639097a5a8a2e44ed1ddf23f3d
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e8e62e025998c0f102b594134fd6e12fe6ead8639097a5a8a2e44ed1ddf23f3d
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e8e62e025998c0f102b594134fd6e12fe6ead8639097a5a8a2e44ed1ddf23f3d
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e8e62e025998c0f102b594134fd6e12fe6ead8639097a5a8a2e44ed1ddf23f3d@sha256:e1e47ca7b24bff33f07a580baaaa445a46dd60aefee3500f2fe31e8f03dfad37
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e8e62e025998c0f102b594134fd6e12fe6ead8639097a5a8a2e44ed1ddf23f3d@sha256:4b77247cd481e6013f9f2bc5371dcb9b25508197bb506cd2f5abdf37dcf99b2c
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:e8e62e025998c0f102b594134fd6e12fe6ead8639097a5a8a2e44ed1ddf23f3d@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 10
- Last 30 days 0
- Last week 0
- Today 0