Skip to content

verus 0.2024.10.31.141c73e Public Latest

Install from the command line
Learn more about packages
$ docker pull ghcr.io/verus-lang/verus:0.2024.10.31.141c73e

Recent tagged image versions

  • 0.2024.10.31.141c73e
    Published 3 months ago · Digest
    sha256:f2e8af73ed8bf8a936cb510487f3405c418db1fe03a43a6eda6de5096181e6c3
    3 Version downloads
View all tagged versions

Loading

Details

Last published

3 months ago

Discussions

104

Issues

121

Total downloads

3