sha256:1976571f41d29e5667681ea34d2e7e1c19097fa2b6cbc539ec1a6970155ddcc9
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:1976571f41d29e5667681ea34d2e7e1c19097fa2b6cbc539ec1a6970155ddcc9
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:1976571f41d29e5667681ea34d2e7e1c19097fa2b6cbc539ec1a6970155ddcc9
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:1976571f41d29e5667681ea34d2e7e1c19097fa2b6cbc539ec1a6970155ddcc9@sha256:6d69de489bed537383efece0ee41eefc99bb66edfc8f7d98b25488ad0e8edd61
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:1976571f41d29e5667681ea34d2e7e1c19097fa2b6cbc539ec1a6970155ddcc9@sha256:11372c73e89feb3eb36c77d9c6ee827b1dcf86f1f4752ed1333daf71b6d531d8
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/devcontainer@sha256:1976571f41d29e5667681ea34d2e7e1c19097fa2b6cbc539ec1a6970155ddcc9@sha256:f2f6066a9e6a0c353f665c28d627d66a0a7d8d6fce04f726cd8e171c17d78685
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