Package Details: verus-analyzer-bin 2026.04.29-1

Git Clone URL: https://aur.archlinux.org/verus-analyzer-bin.git (read-only, click to copy)
Package Base: verus-analyzer-bin
Description: A Verus compiler front-end for IDEs (derived from rust-analyzer)
Upstream URL: https://github.com/verus-lang/verus-analyzer
Licenses: MIT OR Apache-2.0
Conflicts: verus-analyzer
Provides: verus-analyzer
Submitter: ouuan
Maintainer: ouuan
Last Packager: ouuan
Votes: 1
Popularity: 0.009799
First Submitted: 2025-09-30 04:43 (UTC)
Last Updated: 2026-04-29 16:24 (UTC)

Dependencies (1)

  • verus (verus-binAUR) (optional) – verification support

Required by (0)

Sources (1)