ex_maude

# Third-party notices

The development checkout contains Maude 3.5.1 executables and standard Maude
library files under `priv/maude/bin/`. Those files are part of the Maude
project, not ExMaude, and are licensed under GNU GPL version 2.

- License: <https://github.com/maude-lang/Maude/blob/Maude3.5.1/COPYING>
- Corresponding source: <https://github.com/maude-lang/Maude/tree/Maude3.5.1>
- Release assets: <https://github.com/maude-lang/Maude/releases/tag/Maude3.5.1>

These third-party executables and standard-library files are excluded from the
Hex package. ExMaude's own Elixir, Rust, C, and custom rule-model sources are
covered by the repository's MIT license unless a file says otherwise.