Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ghc-Agda | Distribution: Fedora Project |
Version: 2.6.2.2 | Vendor: Fedora Project |
Release: 36.el9 | Build date: Sat Sep 3 13:02:03 2022 |
Group: Unspecified | Build host: buildvm-s390x-18.s390.fedoraproject.org |
Size: 147333475 | Source RPM: Agda-2.6.2.2-36.el9.src.rpm |
Packager: Fedora Project | |
Url: https://hackage.haskell.org/package/Agda | |
Summary: Haskell Agda library |
This package provides the Haskell Agda shared library.
MIT and BSD
* 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 * Tue Sep 01 2020 Jens Petersen <petersen@redhat.com> - 2.6.1-28 - uri-encode has been packaged * Fri Jul 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-27 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jul 27 2020 Jeff Law <aw@redhat.com> - 2.6.1-26 - Disable LTO on s390 * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-25 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jul 20 2020 Jens Petersen <petersen@redhat.com> - 2.6.1-24 - enable armv7hl with -O0
/usr/lib/.build-id /usr/lib/.build-id/7e /usr/lib/.build-id/7e/3df2b708694238cc5197202778cfeb82f5798f /usr/lib64/libHSAgda-2.6.2.2-CCUZrXznmr9DtCyaOqbqEd-ghc8.10.7.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Nov 15 07:51:05 2024