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