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