Search Criteria
Package Details: verus-bin 0.2026.05.24.ecee80a-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/verus-bin.git (read-only, click to copy) |
|---|---|
| Package Base: | verus-bin |
| Description: | Verified Rust for low-level systems code |
| Upstream URL: | https://github.com/verus-lang/verus |
| Licenses: | MIT |
| Conflicts: | verus |
| Provides: | verus |
| Submitter: | ouuan |
| Maintainer: | ouuan |
| Last Packager: | ouuan |
| Votes: | 2 |
| Popularity: | 0.035589 |
| First Submitted: | 2025-09-30 04:42 (UTC) |
| Last Updated: | 2026-05-25 04:56 (UTC) |
Latest Comments
ouuan commented on 2025-12-22 02:21 (UTC)
I have subscribed to new release notifications. There is no need to flag out-of-date just half an hour after the release.