File lean4.changes of Package lean4

-------------------------------------------------------------------
Thu Nov  9 12:41:07 UTC 2023 - Lukas Müller <expeehaa@outlook.com>

- Create initial package with version 4.2.0.