sha256:32009d6f65e9c6ecf0a860974a39bdf3c72f0ef1655e2d8a65312f0faa9a6cf3
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:32009d6f65e9c6ecf0a860974a39bdf3c72f0ef1655e2d8a65312f0faa9a6cf3
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:32009d6f65e9c6ecf0a860974a39bdf3c72f0ef1655e2d8a65312f0faa9a6cf3
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:32009d6f65e9c6ecf0a860974a39bdf3c72f0ef1655e2d8a65312f0faa9a6cf3@sha256:1114c76940d62e291a88cd48b9737792441dd6d374c4d096cc8e7173c24a2260
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:32009d6f65e9c6ecf0a860974a39bdf3c72f0ef1655e2d8a65312f0faa9a6cf3@sha256:def0fc4d6e08d3d1e4f13bbaa9ef0d96c8329c3366538b87fdf493896f067883
Loading
Sorry, something went wrong.
Details
Download activity
- Total downloads 1
- Last 30 days 0
- Last week 0
- Today 0