Name: | ghc-geniplate-mirror-devel |
---|---|
Version: | 0.7.8 |
Release: | 36.el9 |
Architecture: | aarch64 |
Group: | Unspecified |
Size: | 754400 |
License: | MIT and BSD |
RPM: | ghc-geniplate-mirror-devel-0.7.8-36.el9.aarch64.rpm |
Source RPM: | Agda-2.6.2.2-36.el9.src.rpm |
Build Date: | Wed Sep 07 2022 |
Build Host: | build-ol9-aarch64.oracle.com |
Vendor: | Oracle America |
URL: | https://hackage.haskell.org/package/Agda |
Summary: | Haskell geniplate-mirror library development files |
Description: | This package provides the Haskell geniplate-mirror library development files. |
- add Provides agda
- https://hackage.haskell.org/package/Agda-2.6.2.2/changelog - disable i686 (#2098425)
- https://hackage.haskell.org/package/Agda-2.6.2.1/changelog
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
- Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
- update to 2.6.2 - https://hackage.haskell.org/package/Agda-2.6.2/changelog - disable armv7hl due to out of memory (#73471404)
- update to 2.6.1.3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
- Re-enable LTO