idris-manual-1.3.4-14.fc40 in Fedora 40
↵ Return to the main page of idris-manual
View build
Search for updates
Package Info
🠗 Changelog
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2024-01-24 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-14 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-20 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-13 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2023-07-26 | Jens Petersen <petersen at redhat dot com> - 1.3.4-12 | - bump upper bounds |
| 2023-07-20 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-11 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild |
| 2023-02-17 | Jens Petersen <petersen at redhat dot com> - 1.3.4-6 | - refresh to cabal-rpm-2.1.0 with SPDX migration |
| 2022-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-5 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild |
| 2022-06-17 | Jens Petersen <petersen at redhat dot com> - 1.3.4-4 | - rebuild |
Provides
- idris-manual
Files
- usr/
- share/
- doc/
- idris-manual/
- idris-tutorial.pdf
- idris-manual/
- doc/
- share/
Sources on Pagure