idris2-pack
/
nightly-240513
nightly-240513
sha256:6a53021bcdc3fa42b4ae66070745a7a131eac062654024d5f57d5943c55834dd
Install from the command line
Learn more about packages
$ docker pull ghcr.io/stefan-hoeck/idris2-pack:nightly-240513
Use as base image in Dockerfile:
FROM ghcr.io/stefan-hoeck/idris2-pack:nightly-240513
About this version
Sorry, something went wrong.
Manifest
{
"digest": "sha256:6a53021bcdc3fa42b4ae66070745a7a131eac062654024d5f57d5943c55834dd",
"mediaType": "application/vnd.docker.distribution.manifest.v2+json",
"size": 954,
"config": {
"digest": "sha256:e6dcb376229db0e0ddfd8b2dbd0114501bc8ac684e6829929f83b17c62d38200",
"mediaType": "application/vnd.docker.container.image.v1+json",
"size": 2692
},
"layers": [
{
"digest": "sha256:7021d1b70935851c95c45ed18156980b5024eda29b99564429025ea04f5ec109",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 30439778
},
{
"digest": "sha256:23e19cf62e53d731fa6d1fc3dcf5da529a6597387ed1170b614f909bbfbeba4b",
"mediaType": "application/x-gzip",
"size": 98932125
},
{
"digest": "sha256:9a9d90dd78af7c6f05282591062f0961d9cf746613a4a263ada8d39aee999de7",
"mediaType": "application/x-gzip",
"size": 210264424
},
{
"digest": "sha256:e6dcb376229db0e0ddfd8b2dbd0114501bc8ac684e6829929f83b17c62d38200",
"mediaType": "text/plain; charset=utf-8",
"size": 2692
}
],
"labels": {
"org.opencontainers.image.ref.name": "ubuntu",
"org.opencontainers.image.version": "22.04"
}
}
Details
- idris2-pack
- stefan-hoeck
- stefan-hoeck/idris2-pack
- 24 days ago
Download activity
- Total downloads 76
- Last 30 days 76
- Last week 0
- Today 0