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