sha256:6d7ab97556ba2824df66d1e26e9b868b06cff7f7ba67adec4821e7d4aeb2b787
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:6d7ab97556ba2824df66d1e26e9b868b06cff7f7ba67adec4821e7d4aeb2b787
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian@sha256:6d7ab97556ba2824df66d1e26e9b868b06cff7f7ba67adec4821e7d4aeb2b787
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:6d7ab97556ba2824df66d1e26e9b868b06cff7f7ba67adec4821e7d4aeb2b787@sha256:d75c64467f3422ed90a40aa1dedf97dc328d4f12e6cd60cdef9c08a040391403
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:6d7ab97556ba2824df66d1e26e9b868b06cff7f7ba67adec4821e7d4aeb2b787@sha256:d40e8b6664f6d65e3f867853bb119bd690996fb5aba9bba5019c8c9071bd85c0
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:6d7ab97556ba2824df66d1e26e9b868b06cff7f7ba67adec4821e7d4aeb2b787@sha256:1e364f370252be7df1ef4f0bb0bdd02e6b3a8f395cdfec15647be80453def126
Loading
Sorry, something went wrong.
Details
- idris-2-docker/debian
-
joshuanianji
- joshuanianji/idris-2-docker
- 6 months ago
Download activity
- Total downloads 1
- Last 30 days 0
- Last week 0
- Today 0