↵ Return to the main page of ghc-Agda-doc
View build
Search for updates
Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
2022-06-20 | Jens Petersen <petersen at redhat dot com> | - add Provides agda |
2022-06-07 | Jens Petersen <petersen at redhat dot com> - 2.6.2.2-36 | - https://hackage.haskell.org/package/Agda-2.6.2.2/changelog - disable i686 (#2098425) |
2022-03-07 | Jens Petersen <petersen at redhat dot com> - 2.6.2.1-35 | - https://hackage.haskell.org/package/Agda-2.6.2.1/changelog |
2022-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.2-34 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild |
2022-01-08 | Miro HronĨok <mhroncok at redhat dot com> - 2.6.2-33 | - Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34 |
2021-08-05 | Jens Petersen <petersen at redhat dot com> - 2.6.2-32 | - update to 2.6.2 - https://hackage.haskell.org/package/Agda-2.6.2/changelog - disable armv7hl due to out of memory (#73471404) |
2021-08-05 | Jens Petersen <petersen at redhat dot com> - 2.6.1.3-32 | - update to 2.6.1.3 |
2021-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.1-31 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
2021-01-25 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.1-30 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
2020-10-11 | Jeff Law <aw at redhat dot com> - 2.6.1-29 | - Re-enable LTO |