sha256:45b5e87d41b9fabdc732824d8e739c71ce4aca0f5b8fa48b8157d39baa8cff02
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:45b5e87d41b9fabdc732824d8e739c71ce4aca0f5b8fa48b8157d39baa8cff02
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:45b5e87d41b9fabdc732824d8e739c71ce4aca0f5b8fa48b8157d39baa8cff02
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:45b5e87d41b9fabdc732824d8e739c71ce4aca0f5b8fa48b8157d39baa8cff02@sha256:76ec2f79cc1bdfd48616f17a93e7dc87bff8d01eb033f88709f217d216c24f76
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:45b5e87d41b9fabdc732824d8e739c71ce4aca0f5b8fa48b8157d39baa8cff02@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 1
- Last 30 days 0
- Last week 0
- Today 0