↵ Return to the main page of ghc-idris-doc
View build
Search for updates
Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
2022-01-08 | Miro HronĨok <mhroncok at redhat dot com> - 1.3.4-2 | - Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34 |
2021-10-25 | Jens Petersen <petersen at redhat dot com> - 1.3.4-1 | - update to new stable release - https://hackage.haskell.org/package/idris-1.3.4/changelog |
2021-08-22 | Jens Petersen <petersen at redhat dot com> - 1.3.3-6.20210626git2ef8238d0 | - update to latest git, which builds with ghc-8.10 (#1991878) |
2021-08-06 | Jens Petersen <petersen at redhat dot com> - 1.3.3-5 | - rebuild |
2021-07-22 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
2021-01-26 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
2020-08-10 | Jens Petersen <petersen at redhat dot com> - 1.3.3-2 | - setup bash completion |
2020-07-28 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |
2020-06-10 | Jens Petersen <petersen at redhat dot com> - 1.3.3-1 | - update to 1.3.3 |
2020-02-20 | Jens Petersen <petersen at redhat dot com> - 1.3.2-3 | - refresh to cabal-rpm-2.0.2 |