v0.7.0
sha256:4ea5edbbf5b30a7634e860916f35373984bf2ac8ec0c8ab29fc7b731f166eace
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/base:v0.7.0
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/base:v0.7.0
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/base:v0.7.0@sha256:722c913443638edca2e5cd1a861827717acfbf3700e7f53e3df31eb0c3ecf093
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/base:v0.7.0@sha256:3e51f5424d229fda2f14f182de5d47dc9ccfc129ea9d688ae48cdc415356e893
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/base:v0.7.0@sha256:7ef7448d5bfc88d26473f1e26e053555888120cfc12243ac53f0904e5ed880ee
Loading
Sorry, something went wrong.
Details
- idris-2-docker/base
-
joshuanianji
- joshuanianji/idris-2-docker
- 4 months ago
Download activity
- Total downloads 4
- Last 30 days 0
- Last week 0
- Today 0