sha256:f3100b32dd79eb5fddf7b6316764c622e32f49ec95af4f8fd0332c5af3ec69f9
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:f3100b32dd79eb5fddf7b6316764c622e32f49ec95af4f8fd0332c5af3ec69f9
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:f3100b32dd79eb5fddf7b6316764c622e32f49ec95af4f8fd0332c5af3ec69f9
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:f3100b32dd79eb5fddf7b6316764c622e32f49ec95af4f8fd0332c5af3ec69f9@sha256:aaebef4ac68483229f588cbbe15873abcc5bab81f8c2cc661437f1e6b59b15a4
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:f3100b32dd79eb5fddf7b6316764c622e32f49ec95af4f8fd0332c5af3ec69f9@sha256:ab80758e727c875c2032a25caa913d7e0e30b6ac412a7dda9ffdd1f10c37f689
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:f3100b32dd79eb5fddf7b6316764c622e32f49ec95af4f8fd0332c5af3ec69f9@sha256:e2ebb72e0a7aaaab075ce84d6df02134063d6fd6a8ef86d16b23e4b83837664c
Loading
Sorry, something went wrong.
Details
- idris-2-docker/devcontainer
-
joshuanianji
- joshuanianji/idris-2-docker
- about 1 year ago
Download activity
- Total downloads 18
- Last 30 days 0
- Last week 0
- Today 0