idris-manual-1.3.4-26.fc44 in Fedora 44
↵ Return to the main page of idris-manual
View build
Search for updates
Package Info
🠗 Changelog
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2026-02-01 | Jens Petersen <petersen at redhat dot com> - 1.3.4-26 | - codegen program don't use optparse-applicative |
| 2026-01-30 | Jens Petersen <petersen at redhat dot com> - 1.3.4-25 | - bump deps |
| 2026-01-26 | Jens Petersen <petersen at redhat dot com> - 1.3.4-24 | - refresh to cabal-rpm-2.3.2 |
| 2026-01-26 | Jens Petersen <petersen at redhat dot com> - 1.3.4-23 | - drop armv7hl |
| 2026-01-16 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-22 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild |
| 2025-07-24 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-21 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild |
| 2025-03-30 | Jens Petersen <petersen at redhat dot com> - 1.3.4-20 | - bump bounds |
| 2025-02-23 | Jens Petersen <petersen at redhat dot com> - 1.3.4-19 | - cabal-rpm-2.3.0 |
| 2025-01-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-18 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild |
| 2024-08-02 | Jens Petersen <petersen at redhat dot com> - 1.3.4-17 | - update mtl and bounds with upstream patches |
Provides
- idris-manual
Files
- usr/
- share/
- doc/
- idris-manual/
- idris-tutorial.pdf
- idris-manual/
- doc/
- share/
Sources on Pagure