-
Mon Jun 20 2022 Jens Petersen <petersen@redhat.com>
- add Provides agda
-
Tue Jun 07 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.2-36
- https://hackage.haskell.org/package/Agda-2.6.2.2/changelog
- disable i686 (#2098425)
-
Mon Mar 07 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.1-35
- https://hackage.haskell.org/package/Agda-2.6.2.1/changelog
-
Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-34
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
-
Sat Jan 08 2022 Miro HronĨok <mhroncok@redhat.com> - 2.6.2-33
- Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
-
Thu Aug 05 2021 Jens Petersen <petersen@redhat.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)
-
Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 2.6.1.3-32
- update to 2.6.1.3
-
Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-31
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
-
Mon Jan 25 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-30
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
-
Sun Oct 11 2020 Jeff Law <aw@redhat.com> - 2.6.1-29
- Re-enable LTO