v0.5.0
sha256:b3ffaac271cea490c13d8f1ad434c268f5de59d3648c757d1092fac77468fd94
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/base:v0.5.0
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/base:v0.5.0
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/base:v0.5.0@sha256:c23a150137d53d69f553eebe338334c820804800f1c385a03e2808192bf8ac9d
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/base:v0.5.0@sha256:3119ce6dcf948524e36f788cece1beb32309cd4d2f34b460c169165d7abc78cd
Loading
Sorry, something went wrong.
Details
- idris-2-docker/base
-
joshuanianji
- joshuanianji/idris-2-docker
- about 2 years ago
Download activity
- Total downloads 151
- Last 30 days 0
- Last week 0
- Today 0