idris2-0.8.0-6.fc45
failed
Purely functional programming language with first class types
built by guoguo
completed Thu, 29 Oct 2026 18:37:23 UTC
Description
Idris is a programming language designed to encourage Type-Driven Development.
RPMs
No RPMs
Changelog
* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Tue Mar 03 2026 Jens Petersen <petersen@redhat.com> - 0.8.0-5 - fix idris2-api bootstrap build * Mon Mar 02 2026 Jens Petersen <petersen@redhat.com> - 0.8.0-4 - enable idris2-api library (idris2.ipkg) * Mon Mar 02 2026 Jens Petersen <petersen@redhat.com> - 0.8.0-3 - fixup exception failure comment path for libc.so linker script * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Tue Nov 04 2025 Jens Petersen <petersen@redhat.com> - 0.8.0-1 - https://github.com/idris-lang/Idris2/blob/v0.8.0/CHANGELOG.md - recommend rlwrap for repl * Tue Nov 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-8 - update comments for excluded archs * Sat Nov 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-7 - only disable debug_package for el9 * Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.7.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-5 - lock to the current chez-scheme version * Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-4 - obsolete idris2-lib * Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3 - redisable s390x * Wed Jul 02 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 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-7 - provides idris2-static * Tue Jul 01 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)