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 about 2 months ago · Digest
    sha256:f2e8af73ed8bf8a936cb510487f3405c418db1fe03a43a6eda6de5096181e6c3
    2 Version downloads
View all tagged versions

Loading

Details

Last published

2 months ago

Discussions

102

Issues

135

Total downloads

2