Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ghc-geniplate-mirror-devel | Distribution: Fedora Project |
Version: 0.7.8 | 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: 1223260 | Source RPM: Agda-2.6.2.2-36.el9.src.rpm |
Packager: Fedora Project | |
Url: https://hackage.haskell.org/package/Agda | |
Summary: Haskell geniplate-mirror library development files |
This package provides the Haskell geniplate-mirror library development files.
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/lib64/ghc-8.10.7/geniplate-mirror-0.7.8 /usr/lib64/ghc-8.10.7/geniplate-mirror-0.7.8/Data /usr/lib64/ghc-8.10.7/geniplate-mirror-0.7.8/Data/Generics /usr/lib64/ghc-8.10.7/geniplate-mirror-0.7.8/Data/Generics/Geniplate.dyn_hi /usr/lib64/ghc-8.10.7/geniplate-mirror-0.7.8/Data/Generics/Geniplate.hi /usr/lib64/ghc-8.10.7/geniplate-mirror-0.7.8/libHSgeniplate-mirror-0.7.8-IVZKdYktgpE7xHU7w4fBiU.a /usr/lib64/ghc-8.10.7/package.conf.d/geniplate-mirror-0.7.8.conf
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Oct 31 07:28:04 2024