sha256:5a0d3c546f0961116de7fd4bbbd7f2f5bde814738e5e39668a9acf0ccc2725b7
Install from the command line
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:5a0d3c546f0961116de7fd4bbbd7f2f5bde814738e5e39668a9acf0ccc2725b7
Use as base image in Dockerfile:
FROM ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:5a0d3c546f0961116de7fd4bbbd7f2f5bde814738e5e39668a9acf0ccc2725b7
linux/amd64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:5a0d3c546f0961116de7fd4bbbd7f2f5bde814738e5e39668a9acf0ccc2725b7@sha256:505e88a7b7a0356c036c05babbcef7372c2a7ca910a0370ac94fe407557b2a04
linux/arm64
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:5a0d3c546f0961116de7fd4bbbd7f2f5bde814738e5e39668a9acf0ccc2725b7@sha256:576185455b41b47f44a2817dc754bdbfd4626bc84f07d06d70979e6777dc2f83
unknown/unknown
$ docker pull ghcr.io/joshuanianji/idris-2-docker/ubuntu@sha256:5a0d3c546f0961116de7fd4bbbd7f2f5bde814738e5e39668a9acf0ccc2725b7@sha256:3e27d652789fa5f110ea0907c1d2e1812288d3ca1052c8c6954e21c43ccc296e
Loading
Sorry, something went wrong.
Details
- idris-2-docker/ubuntu
-
joshuanianji
- joshuanianji/idris-2-docker
- about 1 year ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0