v0.7.0
sha256:9cee5455c723067fe147629d787163bc487a91e2e883e638c46c0a09022b5dac
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.7.0
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian:v0.7.0
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.7.0@sha256:f00f6e747d8b32cac876f73e7f78596196b0a0f2606fe59cd542072225db9489
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.7.0@sha256:42d1c289b3a3fddb007a91096ff43b92b9ae1c4c7157ad44af441a6ec636a066
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian:v0.7.0@sha256:0ca041e190258f9d18145043980ccbcf185c20f20cf4f727ed10a84008432e05
Loading
Sorry, something went wrong.
Details
- idris-2-docker/debian
-
joshuanianji
- joshuanianji/idris-2-docker
- 3 months ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0