# aeneas 20260713

Snapshot of gominimal/pkgs commit `23a2fb475d390f4da3fa215a91fcfbac3fc9054d` (pushed 2026-07-15T20:07:28.000Z).

## Install

```sh
min add aeneas
```

## Direct advisories

None at this commit.

## Transitive advisories

8 advisories inherited through runtime dependencies:

- CVE-2013-4412 (HIGH) via ocaml → glibc
- CVE-2026-4046 (HIGH) via ocaml → glibc
- CVE-2026-4437 (HIGH) via ocaml → glibc
- CVE-2026-4438 (MEDIUM) via ocaml → glibc
- CVE-2026-5435 (HIGH) via ocaml → glibc
- CVE-2026-5450 (CRITICAL) via ocaml → glibc
- CVE-2026-5928 (HIGH) via ocaml → glibc
- CVE-2026-6238 (MEDIUM) via ocaml → glibc

## Dependencies

- Build (13): base, ocaml, dune, ocamlfind, charon-ml, ocamlgraph, ppx_deriving, ppx_deriving_yojson, visitors, ppxlib, menhir, zarith, toolchain
- Runtime (3): ocaml, zarith, charon-ml

## Links

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