| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: ghc-geniplate-mirror-doc | Distribution: Fedora Project |
| Version: 0.7.8 | Vendor: Fedora Project |
| Release: 36.el9 | Build date: Sat Sep 3 13:02:50 2022 |
| Group: Unspecified | Build host: buildvm-a64-33.iad2.fedoraproject.org |
| Size: 673915 | 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 documentation | |
This package provides the Haskell geniplate-mirror library documentation.
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/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8 /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/Data-Generics-Geniplate.html /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/doc-index.html /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/geniplate-mirror.haddock /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/geniplate-mirror.txt /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/haddock-bundle.min.js /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/index.html /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/linuwial.css /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/meta.json /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/quick-jump.css /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/src /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/src/Data.Generics.Geniplate.html /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/src/highlight.js /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/src/style.css /usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.8/synopsis.png
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Oct 24 04:00:21 2025