sha256:b509d99e30d02ed1aa5c276a61e32e2d5c49cd70f7dbd7d49d7803a8356ca716
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:b509d99e30d02ed1aa5c276a61e32e2d5c49cd70f7dbd7d49d7803a8356ca716
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian@sha256:b509d99e30d02ed1aa5c276a61e32e2d5c49cd70f7dbd7d49d7803a8356ca716
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:b509d99e30d02ed1aa5c276a61e32e2d5c49cd70f7dbd7d49d7803a8356ca716@sha256:13223bcadb0a0c72c252af63b5b1ed0e1614e70aec497b508b2d16c3791b82de
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:b509d99e30d02ed1aa5c276a61e32e2d5c49cd70f7dbd7d49d7803a8356ca716@sha256:31c66f448b2f6edaacb0990501f0492d90b08117216a2d56fb2e9bc326ec1267
Loading
Sorry, something went wrong.
Details
- idris-2-docker/debian
-
joshuanianji
- joshuanianji/idris-2-docker
- over 2 years ago
Download activity
- Total downloads 1
- Last 30 days 0
- Last week 0
- Today 0