sha256:721f7d6dc1fc0297771ebe0d69e61418e7458d5e5bc97529a75d42c9f4dff1b3
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:721f7d6dc1fc0297771ebe0d69e61418e7458d5e5bc97529a75d42c9f4dff1b3
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:721f7d6dc1fc0297771ebe0d69e61418e7458d5e5bc97529a75d42c9f4dff1b3
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:721f7d6dc1fc0297771ebe0d69e61418e7458d5e5bc97529a75d42c9f4dff1b3@sha256:591e92899420deab5f45fe3334f141f7fc4603fa16f945eeb8b84ff08527a09a
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:721f7d6dc1fc0297771ebe0d69e61418e7458d5e5bc97529a75d42c9f4dff1b3@sha256:fc62a894646fc2ac674ab4005b95307605d24cfbb79805359f1c37117a3e6ff7
Loading
Sorry, something went wrong.
Details
Download activity
- Total downloads 1
- Last 30 days 0
- Last week 0
- Today 0