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