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.
------------------------------------------------------------------- Thu Nov 9 12:41:07 UTC 2023 - Lukas Müller <expeehaa@outlook.com> - Create initial package with version 4.2.0.