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.