lean4.changes

-------------------------------------------------------------------
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.
Accepting request 1237557 from home:nuklly Lean 4 programming language and theorem prover. Its build requires cadical: https://build.opensuse.org/requests/1237556 OBS-URL: https://build.opensuse.org/request/show/1237557 OBS-URL: https://build.opensuse.org/package/show/science/lean4?expand=0&rev=1 2025-01-14 15:38:55 +00:00			`-------------------------------------------------------------------`
			`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.`