Skip to content

Repository navigation

Basis verus build basis-43c5ff68c5

Choose a tag to compare

View all tags
@github-actions github-actions released this 15 Sep 16:36
basis-43c5ff68c5
43c5ff6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Pinned Basis build of Verus at 43c5ff6.

Version: 0.2026.09.15.43c5ff6
Ref: main

b436ddd50b33b6597b9c77fb55584fc164f8bdb5406d98c892ffbf04c381a035  verus-arm64-linux.zip
7cde3591ad5e61a299e5b88fe8e50de51b40ac1d6bbcfcebbdb72bb2d7158bc2  verus-arm64-macos.zip
51295a61d9ebb4a22bb1b1ed80bc405c0fe1df1ab2728b69a5315afc4b34832d  verus-x86-linux.zip
Assets 9
Loading