File lean4.changes of Package lean4

-------------------------------------------------------------------
Sun Jan  5 06:13:52 UTC 2025 - Xu Zhao <i@xuzhao.net>

- Initial commit version 4.15.0
  * See RELEASES.md for release notes.