# maude 3.5.1

Language based on Rewriting Logic

Snapshot of gominimal/pkgs commit `1eb1ae604887d8f5d56cb299f0b6ed05ba68fdcc` (pushed 2026-07-18T04:00:12.000Z).

## Install

```sh
min add maude
```

## Direct advisories

None at this commit.

## Transitive advisories

8 advisories inherited through runtime dependencies:

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

## Dependencies

- Build (14): base, make, toolchain, autoconf, automake, libtool, m4, flex, bison, gmp, libsigsegv, libtecla, buddy, ncurses
- Runtime (6): glibc, gmp, libsigsegv, libtecla, buddy, ncurses

## Links

- Homepage: https://maude.cs.illinois.edu
- Package page (HTML): https://minimal.dev/pkgs/maude
- JSON API (floats latest): https://minimal.dev/api/pkgs/maude.json
- SBOM (CycloneDX 1.5): https://minimal.dev/api/pkgs/maude/sbom.json