Skip to content

kani-ubuntu-20.04 0.40.0 Public Latest

Install from the command line
Learn more about packages
$ docker pull ghcr.io/adpaco-aws/kani-ubuntu-20.04:0.40.0

Recent tagged image versions

  • latest 0.40.0
    Published about 1 year ago · Digest
    sha256:8604c9cbc29727cfd00c9d1f8368a3ec421bfbd3f8405bf002a37bced10b5c3d
    230 Version downloads
  • 0.24.0
    Published almost 2 years ago · Digest
    sha256:126174abe5e6b02a0cdd69b0b81f1353b78d4c59522704c32ab6411944f7dd40
    348 Version downloads
View all tagged versions

Loading

Details

Last published

1 year ago

Total downloads

579