sha256:34fb296c8ba7bf7298ba7a04c92b9664d6f5de2ae0787b3426ac25486de5a043
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:34fb296c8ba7bf7298ba7a04c92b9664d6f5de2ae0787b3426ac25486de5a043
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/debian@sha256:34fb296c8ba7bf7298ba7a04c92b9664d6f5de2ae0787b3426ac25486de5a043
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:34fb296c8ba7bf7298ba7a04c92b9664d6f5de2ae0787b3426ac25486de5a043@sha256:839b2bbfd62f6153a61f313dc68d93216fb3ac62d715bcdd0b8537f2f9eb3142
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:34fb296c8ba7bf7298ba7a04c92b9664d6f5de2ae0787b3426ac25486de5a043@sha256:94facb6ed468491a502b30455b5784277dc373876134e3d23db34884c307b0c7
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/debian@sha256:34fb296c8ba7bf7298ba7a04c92b9664d6f5de2ae0787b3426ac25486de5a043@sha256:2986d6aa6cae651cb3f6d046d10b82bc963922603380b70e16cc0c272387be94
Loading
Sorry, something went wrong.
Details
- idris-2-docker/debian
-
joshuanianji
- joshuanianji/idris-2-docker
- about 1 year ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0