↵ Return to the main page of idris2-doc
View build
Search for updates
Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
| Date | Author | Change |
|---|---|---|
| 2025-11-04 | Jens Petersen <petersen at redhat dot com> - 0.8.0-1 | - https://github.com/idris-lang/Idris2/blob/v0.8.0/CHANGELOG.md - recommend rlwrap for repl |
| 2025-11-04 | Jens Petersen <petersen at redhat dot com> - 0.7.0-8 | - update comments for excluded archs |
| 2025-11-01 | Jens Petersen <petersen at redhat dot com> - 0.7.0-7 | - only disable debug_package for el9 |
| 2025-07-24 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.7.0-6 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild |
| 2025-07-04 | Jens Petersen <petersen at redhat dot com> - 0.7.0-5 | - lock to the current chez-scheme version |
| 2025-07-04 | Jens Petersen <petersen at redhat dot com> - 0.7.0-4 | - obsolete idris2-lib |
| 2025-07-04 | Jens Petersen <petersen at redhat dot com> - 0.7.0-3 | - redisable s390x |
| 2025-07-02 | Jens Petersen <petersen at redhat dot com> - 0.7.0-8 | - rename boot bcond to scm_boot (#2314358) - rename lib subpackage to libs (zbyszek, #2314358) |
| 2025-07-01 | Jens Petersen <petersen at redhat dot com> - 0.7.0-7 | - provides idris2-static |
| 2025-07-01 | Jens Petersen <petersen at redhat dot com> - 0.7.0-6 | - samples is gone with the archive tarball |