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