sha256:679bfd5f6789044605a79e352c6490024cf041c81aa1c61d58d4a7a94782650d
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/base@sha256:679bfd5f6789044605a79e352c6490024cf041c81aa1c61d58d4a7a94782650d
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/base@sha256:679bfd5f6789044605a79e352c6490024cf041c81aa1c61d58d4a7a94782650d
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/base@sha256:679bfd5f6789044605a79e352c6490024cf041c81aa1c61d58d4a7a94782650d@sha256:3ebff14eedad42a257c051feb78f825dca276f9a17b983a78b6e90852cd6d8e0
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/base@sha256:679bfd5f6789044605a79e352c6490024cf041c81aa1c61d58d4a7a94782650d@sha256:7c88ed5b47781bc1ccd3a97255eb568744d18de1458d7b9c25b2d496f8e81b20
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/base@sha256:679bfd5f6789044605a79e352c6490024cf041c81aa1c61d58d4a7a94782650d@sha256:f3664dee749f7697b41ccc03830fb44a7584b441714124d57d1785ba8780e8f9
Loading
Sorry, something went wrong.
Details
- idris-2-docker/base
-
joshuanianji
- joshuanianji/idris-2-docker
- about 1 year ago
Download activity
- Total downloads 12
- Last 30 days 0
- Last week 0
- Today 0