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