idris2-pack
/
nightly-240514
nightly-240514
sha256:c58ebbb7ec0feea3b7deec5ce797f16b7931b39da11997ad793424f15d090554
Install from the command line
Learn more about packages
$ docker pull ghcr.io/stefan-hoeck/idris2-pack:nightly-240514
Use as base image in Dockerfile:
FROM ghcr.io/stefan-hoeck/idris2-pack:nightly-240514
About this version
Sorry, something went wrong.
Manifest
{
"digest": "sha256:c58ebbb7ec0feea3b7deec5ce797f16b7931b39da11997ad793424f15d090554",
"mediaType": "application/vnd.docker.distribution.manifest.v2+json",
"size": 954,
"config": {
"digest": "sha256:6945ba12099e1efdaf0f3964d5c363e02ae1a3efae657b5ee768f9b167526ebb",
"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:76aa448824fc2502c5f21a97148034f34b2b6be303b615f7628fb9fa23932b3b",
"mediaType": "application/x-gzip",
"size": 98932630
},
{
"digest": "sha256:175a5113c943930f16bae6777a76ed10dedbdaf2d93a578d399c47ba2cbf6a29",
"mediaType": "application/x-gzip",
"size": 210266848
},
{
"digest": "sha256:6945ba12099e1efdaf0f3964d5c363e02ae1a3efae657b5ee768f9b167526ebb",
"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
- 23 days ago
Download activity
- Total downloads 268
- Last 30 days 268
- Last week 0
- Today 0