Changelog for idris2-0.7.0.git.20241005.f840d1b-15.1.x86_64.rpm :

* Wed Feb 21 2024 Lorenz Hüdepohl - Update to v0.7.0
* Tue Jan 14 2020 Lorenz Hüdepohl - Initial package of idris2