Automatic update for idris2-0.7.0-3.fc43.
* Fri Jul 4 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3
- redisable s390x
* Wed Jul 2 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-8
- rename boot bcond to scm_boot (#2314358)
- rename lib subpackage to libs (zbyszek, #2314358)
* Tue Jul 1 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-7
- provides idris2-static
* Tue Jul 1 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-6
- samples is gone with the archive tarball
* Mon Jan 20 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3
- use github archive tarball (zbyszek, #2314358)
- enable s390x
- rename docs subpackage to noarch doc (#2314358)
- move license file to lib (zbyszek, #2314358)
* Sun Jan 19 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-2
- use modern bcond macro (#2314358)
* Tue Jun 25 2024 Jens Petersen <petersen@redhat.com> - 0.7.0-1
- update to 0.7.0
- require chez-scheme-10
* Sat Aug 19 2023 Jens Petersen <petersen@redhat.com> - 0.6.0-0.1
- update to 0.6.0
https://github.com/idris-lang/Idris2/blob/v0.6.0/CHANGELOG.md
- revert to chez-scheme
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
sudo dnf install --refresh --advisory=FEDORA-2025-b4c83bd46d \*Please log in to add feedback.
This update was automatically created
This update's test gating status has been changed to 'ignored'.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for stable by bodhi