v0.2.4
Release Notes
- Move verusfmt to the verus-lang organization: https://github.com/verus-lang/verusfmt
Install verusfmt 0.2.4
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.2.4/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/verus-lang/verusfmt/releases/download/v0.2.4/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.4
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 |