sha256:03d796929730d95831ee66a34efff6f4be75b44afa7aac50544591cc624dc5b7
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:03d796929730d95831ee66a34efff6f4be75b44afa7aac50544591cc624dc5b7
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:03d796929730d95831ee66a34efff6f4be75b44afa7aac50544591cc624dc5b7
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:03d796929730d95831ee66a34efff6f4be75b44afa7aac50544591cc624dc5b7@sha256:99569f4bcd1ed4455100f48ad6c2617750620a383d711ba9673ea1aa85e4a8ed
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:03d796929730d95831ee66a34efff6f4be75b44afa7aac50544591cc624dc5b7@sha256:a1b11aec0f7b00fdbbb6bf0564bc2ecf6fb549ed7bc500ef7f1c09a945b8c821
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:03d796929730d95831ee66a34efff6f4be75b44afa7aac50544591cc624dc5b7@sha256:42f94fe09fde4ce41552afe9afac5951339f80149eb69aa379bf555dcb403062
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