latest Latest
sha256:8a385ac62c0175f6e46480e7f5fb73799c3b56ca3bdb1afaa406f2d4ff14998e
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:latest
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian:latest
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:latest@sha256:20a0c0f37bb132b0fe6e67a8e4618621d82013e9924545cb44e9c6bdc5fdb86b
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:latest@sha256:2e9643f83af6f58a002915b9d7944b34c044e7aa0e46aac8d70d0c65764f6389
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:latest@sha256:1f2f7173b07c94f93e99e70c1642f6a553791c6d369ca93f23f5865631b33ff7
Loading
Sorry, something went wrong.
Details
- idris-2-docker/debian
-
joshuanianji
- joshuanianji/idris-2-docker
- 4 months ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0