# aeneas-latest 20260912

A verification toolchain for Rust programs

Snapshot of gominimal/pkgs commit `07874076e00bd478c89d3bc385db8e19407a9dc5` (pushed 2026-09-14T21:31:25.000Z).

## Install

```sh
min add aeneas-latest
```

## Direct advisories

None at this commit.

## Transitive advisories

13 advisories inherited through runtime dependencies:

- CVE-2026-5435 (HIGH) via lean → glibc
- CVE-2026-6238 (MEDIUM) via lean → glibc
- CVE-2026-14456 (HIGH) via lean → openssl
- CVE-2026-14457 (HIGH) via lean → openssl
- CVE-2026-18798 (HIGH) via lean → openssl
- CVE-2026-54874 (HIGH) via lean → openssl
- CVE-2026-54876 (HIGH) via lean → openssl
- CVE-2026-63072 (HIGH) via lean → openssl
- CVE-2026-63073 (CRITICAL) via lean → openssl
- CVE-2026-63074 (MEDIUM) via lean → openssl
- CVE-2026-63075 (HIGH) via lean → openssl
- CVE-2026-63076 (HIGH) via lean → openssl
- CVE-2026-75803 (CRITICAL) via lean → openssl

## Dependencies

- Build (10): base, coreutils, lean, toolchain, leangz, cadical, curl, git, patch, ca-certificates
- Runtime (1): lean

## Links

- Homepage: https://aeneasverif.github.io/
- Package page (HTML): https://minimal.dev/pkgs/aeneas-latest
- JSON API (floats latest): https://minimal.dev/api/pkgs/aeneas-latest.json
- SBOM (CycloneDX 1.5): https://minimal.dev/api/pkgs/aeneas-latest/sbom.json