# verus-latest 0.2026.10.04.426d8b0

Verified Rust for low-level systems code

Snapshot of gominimal/pkgs commit `c930e3121426c055f690867bf78f5bbd9c2c9826` (pushed 2026-10-11T00:34:22.000Z).

## Install

```sh
min add verus-latest
```

## Direct advisories

None at this commit.

## Transitive advisories

14 advisories inherited through runtime dependencies:

- CVE-2026-90801 (LOW) via binutils
- CVE-2026-90802 (LOW) via binutils
- CVE-2026-90803 (LOW) via binutils
- CVE-2026-90804 (LOW) via binutils
- CVE-2026-90828 (LOW) via binutils
- CVE-2026-90829 (LOW) via binutils
- CVE-2026-90830 (LOW) via binutils
- CVE-2026-90831 (LOW) via binutils
- CVE-2026-91779 (LOW) via binutils
- CVE-2026-91780 (LOW) via binutils
- CVE-2026-91781 (LOW) via binutils
- CVE-2026-91782 (LOW) via binutils
- CVE-2026-18477 (MEDIUM) via base → tar
- CVE-2026-18508 (MEDIUM) via base → tar

## Dependencies

- Build (4): base, toolchain, git, z3-4.16.0
- Runtime (7): base, glibc, zlib, gcc, z3-4.16.0, gcc, binutils

## Links

- Package page (HTML): https://minimal.dev/pkgs/verus-latest
- JSON API (floats latest): https://minimal.dev/api/pkgs/verus-latest.json
- SBOM (CycloneDX 1.5): https://minimal.dev/api/pkgs/verus-latest/sbom.json
- Build attestations (JSON): https://minimal.dev/api/pkgs/verus-latest/attestation.json