Skip to content

kani 1.2.14 Public Latest

Install from the command line
$ docker pull ghcr.io/hyperadev/kani:1.2.14

Recent tagged image versions

  • latest 1.2.14 1.2
    Published 6 months ago · Digest
    sha256:75b28315b67d113e1e719097ffa7d1a605b1e1011f8bcc1da473647b36215157
    171 Version downloads
  • 1.2.14-arm64v8
    Published 6 months ago · Digest
    sha256:fb1ff7e0f5676d6f9458c2edd809a4237bd133457c1837b4bdd1e92769c765fa
    7 Version downloads
  • 1.2.14-armv7
    Published 6 months ago · Digest
    sha256:9a77d9002e0cd847349fa06307f39413ccc2d16ae621e4bdf96dc031aafdc2f7
    7 Version downloads
  • 1.2.14-amd64
    Published 6 months ago · Digest
    sha256:986bdd230de8156a2a84fd2e5840ac422bbddad89f243eaf0e2f057cf94f7540
    176 Version downloads
  • 1.2.13
    Published 6 months ago · Digest
    sha256:a79704d4cbdd1e917a220641934e9efb99d99f5c42026368b26645f795e4a825
    16 Version downloads
View all tagged versions

Loading

Details

Last published

6 months ago

Issues

8

Total downloads

74K