v0.6.0
sha256:a08708eceb2db0fcf539392e2e0b9c3ad025e0ac530a0638429fec773b0b6100
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.6.0
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.6.0
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.6.0@sha256:683eeeb48dd4f55740389201da8ad19e0c2e653feec8abcb46243529c3380f69
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.6.0@sha256:b1329fe4adb2ef24d025a82e8e324446e03bb2676fd4ed20f4f21fc37192f20a
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu:v0.6.0@sha256:394114ba990cf109f6e0aba379acd63c5340982b8c0eadd472b3b339be9a2ced
Loading
Sorry, something went wrong.
Details
- idris-2-docker/ubuntu
-
joshuanianji
- joshuanianji/idris-2-docker
- 3 months ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0