v0.3.6
Release Notes
- Support parsing empty requires/ensures/... clauses
Install verusfmt 0.3.6
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.3.6/verusfmt-installer.sh | shInstall prebuilt binaries via powershell script
powershell -c "irm https://github.com/verus-lang/verusfmt/releases/download/v0.3.6/verusfmt-installer.ps1 | iex"Download verusfmt 0.3.6
| 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 |