Skip to content

v0.3.1
Compare
Choose a tag to compare
@github-actions github-actions released this 23 Apr 16:01
· 126 commits to main since this release
v0.3.1
8376779

Release Notes

  • Support generic argument binding
    • Useful for associated type constraints, such as trait Foo<T>: Bar<V = Baz<T>>

Install verusfmt 0.3.1

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.3.1/verusfmt-installer.sh | sh

Install prebuilt binaries via powershell script

irm https://github.com/verus-lang/verusfmt/releases/download/v0.3.1/verusfmt-installer.ps1 | iex

Download verusfmt 0.3.1

File Platform Checksum
verusfmt-aarch64-apple-darwin.tar.xz Apple Silicon macOS checksum
verusfmt-x86_64-apple-darwin.tar.xz Intel macOS checksum
verusfmt-x86_64-pc-windows-msvc.zip x64 Windows checksum
verusfmt-x86_64-unknown-linux-gnu.tar.xz x64 Linux checksum
Assets 15
Loading