-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2025-c8e0b3742d 2025-07-13 04:19:28.747364+00:00 -------------------------------------------------------------------------------- Name : idris2 Product : Fedora 42 Version : 0.7.0 Release : 4.fc42 URL : https://www.idris-lang.org Summary : Purely functional programming language with first class types Description : Idris is a programming language designed to encourage Type-Driven Development. -------------------------------------------------------------------------------- Update Information: obsolete idris2-lib Purely functional programming language with first class types https://www.idris-lang.org -------------------------------------------------------------------------------- ChangeLog: * Fri Jul 4 2025 Jens Petersen <petersen@xxxxxxxxxx> - 0.7.0-4 - obsolete idris2-lib * Fri Jul 4 2025 Jens Petersen <petersen@xxxxxxxxxx> - 0.7.0-3 - redisable s390x * Wed Jul 2 2025 Jens Petersen <petersen@xxxxxxxxxx> - 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@xxxxxxxxxx> - 0.7.0-7 - provides idris2-static * Tue Jul 1 2025 Jens Petersen <petersen@xxxxxxxxxx> - 0.7.0-6 - samples is gone with the archive tarball * Mon Jan 20 2025 Jens Petersen <petersen@xxxxxxxxxx> - 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@xxxxxxxxxx> - 0.7.0-2 - use modern bcond macro (#2314358) * Tue Jun 25 2024 Jens Petersen <petersen@xxxxxxxxxx> - 0.7.0-1 - update to 0.7.0 - require chez-scheme-10 * Sat Aug 19 2023 Jens Petersen <petersen@xxxxxxxxxx> - 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 -------------------------------------------------------------------------------- References: [ 1 ] Bug #2314358 - Review Request: idris2 - Purely functional programming language with first class types https://bugzilla.redhat.com/show_bug.cgi?id=2314358 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2025-c8e0b3742d' at the command line. For more information, refer to the dnf documentation available at http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- -- _______________________________________________ package-announce mailing list -- package-announce@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-announce-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/package-announce@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
