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.3 | Vendor: Fedora Project |
Release: 40.fc39 | Build date: Sun Jul 30 11:22:14 2023 |
Group: Unspecified | Build host: buildvm-a64-17.iad2.fedoraproject.org |
Size: 68625813 | Source RPM: Agda-2.6.3-40.fc39.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-3-Clause
* Sat Jul 29 2023 Jens Petersen <[email protected]> - 2.6.3-40 - https://hackage.haskell.org/package/Agda-2.6.3/changelog * Wed Jul 19 2023 Fedora Release Engineering <[email protected]> - 2.6.2.2-39 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 11 2023 Jens Petersen <[email protected]> - drop geniplate-mirror: not needed since 2.6.2 * Sat Feb 18 2023 Jens Petersen <[email protected]> - 2.6.2.2-38 - refresh to cabal-rpm-2.1.0 including SPDX migration - bump geniplate-mirror to 0.7.9 * Wed Jul 20 2022 Fedora Release Engineering <[email protected]> - 2.6.2.2-37 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * 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
/usr/lib/.build-id /usr/lib/.build-id/c5 /usr/lib/.build-id/c5/0fa46e4fed1f33f896bf3d247990a2a1cfad9b /usr/lib64/ghc-9.4.5/lib/libHSAgda-2.6.3-vaw3XJXbPwIQkMmHa7dVW-ghc9.4.5.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 22:15:25 2024