| 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.0.1 | Vendor: Fedora Project |
| Release: 24.fc32 | Build date: Mon Feb 1 11:55:48 2021 |
| Group: Unspecified | Build host: buildvm-a32-24.iad2.fedoraproject.org |
| Size: 31781742 | Source RPM: Agda-2.6.0.1-24.fc32.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 Feb 01 2021 Jens Petersen <petersen@redhat.com> - 2.6.0.1-24 - build Agda with -O0 on armv7 (#991929) * Fri Sep 11 2020 Jens Petersen <petersen@redhat.com> - 2.6.0.1-23 - uri-encode has been packaged * Wed May 27 2020 Jens Petersen <petersen@redhat.com> - 2.6.0.1-22 - move statically linked /usr/bin/agda and datadir into base package - also drop common subpackage * Thu Feb 20 2020 Jens Petersen <petersen@redhat.com> - 2.6.0.1-21 - refresh to cabal-rpm-2.0.2 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0.1-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 2.6.0.1-19 - update to 2.6.0.1 - disable prof for i686 * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4.2-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Feb 21 2019 Jens Petersen <petersen@redhat.com> - 2.5.4.2-17 - update to 2.5.4.2 * Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 2.5.3-16 - refresh to cabal-rpm-0.13
/usr/lib/.build-id /usr/lib/.build-id/5d /usr/lib/.build-id/5d/6ebcd1cf54cf55a4e5f1f62720a76afd60ccc4 /usr/lib/libHSAgda-2.6.0.1-Z2zsyjib5U1RJogWC6g7P-ghc8.6.5.so /usr/share/licenses/ghc-Agda /usr/share/licenses/ghc-Agda/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon May 9 14:15:10 2022