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 <[email protected]> - add Provides agda * Tue Jun 07 2022 Jens Petersen <[email protected]> - 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 <[email protected]> - 2.6.2.1-35 - https://hackage.haskell.org/package/Agda-2.6.2.1/changelog * Wed Jan 19 2022 Fedora Release Engineering <[email protected]> - 2.6.2-34 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Sat Jan 08 2022 Miro HronĨok <[email protected]> - 2.6.2-33 - Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34 * Thu Aug 05 2021 Jens Petersen <[email protected]> - 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 <[email protected]> - 2.6.1.3-32 - update to 2.6.1.3 * Wed Jul 21 2021 Fedora Release Engineering <[email protected]> - 2.6.1-31 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Mon Jan 25 2021 Fedora Release Engineering <[email protected]> - 2.6.1-30 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Sun Oct 11 2020 Jeff Law <[email protected]> - 2.6.1-29 - Re-enable LTO * Tue Sep 01 2020 Jens Petersen <[email protected]> - 2.6.1-28 - uri-encode has been packaged * Fri Jul 31 2020 Fedora Release Engineering <[email protected]> - 2.6.1-27 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jul 27 2020 Jeff Law <[email protected]> - 2.6.1-26 - Disable LTO on s390 * Mon Jul 27 2020 Fedora Release Engineering <[email protected]> - 2.6.1-25 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jul 20 2020 Jens Petersen <[email protected]> - 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, Tue Dec 3 06:54:25 2024