idris2-pack
/
nightly-240516
nightly-240516
sha256:e562ecb6a1bc603aeecd0141991851791e55cc2f74bea7a28560cd515fed8e8e
Install from the command line
Learn more about packages
$ docker pull ghcr.io/stefan-hoeck/idris2-pack:nightly-240516
Use as base image in Dockerfile:
FROM ghcr.io/stefan-hoeck/idris2-pack:nightly-240516
About this version
Sorry, something went wrong.
Manifest
{
"digest": "sha256:e562ecb6a1bc603aeecd0141991851791e55cc2f74bea7a28560cd515fed8e8e",
"mediaType": "application/vnd.docker.distribution.manifest.v2+json",
"size": 954,
"config": {
"digest": "sha256:dbff782956b76d2ff6b66ffcd702b0f233c53b46c5ce7d7ef4acc7b17bd3b05c",
"mediaType": "application/vnd.docker.container.image.v1+json",
"size": 2698
},
"layers": [
{
"digest": "sha256:4a023cab5400feb5c1ab725beb8345ddb0e3200314004b56677a5eee2e8c86cf",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 30439649
},
{
"digest": "sha256:6acd8affd7e7469c3d098c8dc90690914a7c1822c097108f4d75e31985db034e",
"mediaType": "application/x-gzip",
"size": 93747725
},
{
"digest": "sha256:a10acacb2b802e3e05c4071e6563f47d6a3e14dd02df2582b28189d80607ac67",
"mediaType": "application/x-gzip",
"size": 210451876
},
{
"digest": "sha256:dbff782956b76d2ff6b66ffcd702b0f233c53b46c5ce7d7ef4acc7b17bd3b05c",
"mediaType": "text/plain; charset=utf-8",
"size": 2698
}
],
"labels": {
"org.opencontainers.image.ref.name": "ubuntu",
"org.opencontainers.image.version": "22.04"
}
}
Details
- idris2-pack
- stefan-hoeck
- stefan-hoeck/idris2-pack
- 21 days ago
Download activity
- Total downloads 134
- Last 30 days 134
- Last week 0
- Today 0