kani-ubuntu-20.04
/
sha256:b152dc661445e63d80085d35a863e0287d83e8238d72c5e12117b89f96b725f5
latest
sha256:b152dc661445e63d80085d35a863e0287d83e8238d72c5e12117b89f96b725f5
Install from the command line
Learn more about packages
$ docker pull ghcr.io/jaisnan/kani-ubuntu-20.04:latest
Use as base image in Dockerfile:
FROM ghcr.io/jaisnan/kani-ubuntu-20.04:latest
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:b152dc661445e63d80085d35a863e0287d83e8238d72c5e12117b89f96b725f5",
"mediaType": "application/vnd.docker.distribution.manifest.v2+json",
"size": 1373,
"config": {
"digest": "sha256:f52403209b5c5d5b51e8a702dea0665cb2960393f05d6a7e9ee8550d1ceda11b",
"mediaType": "application/vnd.docker.container.image.v1+json",
"size": 2584
},
"layers": [
{
"digest": "sha256:846c0b181fff0c667d9444f8378e8fcfa13116da8d308bf21673f7e4bea8d580",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 28576882
},
{
"digest": "sha256:2ca8e60c240b7d744093ef3df7335372895baabb4559b2449908e15768451ac8",
"mediaType": "application/x-gzip",
"size": 117
},
{
"digest": "sha256:aa71c844a54d87c2a6d55b1324099ddea125bb77f90e95b39d8406667992ed89",
"mediaType": "application/x-gzip",
"size": 12432687
},
{
"digest": "sha256:daa01ad909169577bb1ff9779f16de248cc1577e870dabf478d44b7b1606fe9e",
"mediaType": "application/x-gzip",
"size": 79085595
},
{
"digest": "sha256:58364c64ecb095e3bf0eb60756be4e4ecd009b19f138371745642cff3d1d7b6c",
"mediaType": "application/x-gzip",
"size": 929938358
},
{
"digest": "sha256:f52403209b5c5d5b51e8a702dea0665cb2960393f05d6a7e9ee8550d1ceda11b",
"mediaType": "text/plain; charset=utf-8",
"size": 2584
}
],
"labels": {
"org.opencontainers.image.licenses": "Apache-2.0 OR MIT",
"org.opencontainers.image.source": "git://github.com/jaisnan/kani.git",
"org.opencontainers.image.version": "0.19.0"
}
}
Details
- kani-ubuntu-20.04
- jaisnan
- jaisnan/kani
- almost 2 years ago
- Apache-2.0 OR MIT
Download activity
- Total downloads 294
- Last 30 days 0
- Last week 0
- Today 0