ghc-Agda-2.6.2-32.fc35 RPM for aarch64

From Fedora 35 for aarch64 / g

This package provides the Haskell Agda shared library.

Provides

• ghc-Agda
• ghc-Agda(aarch-64)
• libHSAgda-2.6.2-2fIO0qzLA6fLZRIj4yF8z4-ghc8.10.5.so()(64bit)

Requires

• Agda-common = 2.6.2-32.fc35
• libHSSTMonadTrans-0.4.5-FRo38KV3dI6B45rA5oCZZj-ghc8.10.5.so()(64bit)
• libHSaeson-1.5.6.0-IHG5eYoHWXqG3Ob0fep13D-ghc8.10.5.so()(64bit)
• libHSarray-0.5.4.0-ghc8.10.5.so()(64bit)
• libHSassoc-1.0.2-3LDvJeSmQBV84Dfb8Yptug-ghc8.10.5.so()(64bit)
• libHSasync-2.2.3-6S87sLLKjsSJi74xO4UtYU-ghc8.10.5.so()(64bit)
• libHSattoparsec-0.13.2.5-4vRotaC86aIACA2Ise73KC-ghc8.10.5.so()(64bit)
• libHSbase-4.14.2.0-ghc8.10.5.so()(64bit)
• libHSbase-compat-0.11.2-Eyusxyk2CrTGloLdon9bIK-ghc8.10.5.so()(64bit)
• libHSbase-compat-batteries-0.11.2-2F6TYu16flP2TXbhSWs8aA-ghc8.10.5.so()(64bit)
• libHSbase-orphans-0.8.4-B4zsXTdczgN9mmNUwgnmE3-ghc8.10.5.so()(64bit)
• libHSbifunctors-5.5.11-Aja7eeHkLUJKPghfLXWHk6-ghc8.10.5.so()(64bit)
• libHSbinary-0.8.8.0-ghc8.10.5.so()(64bit)
• libHSblaze-builder-0.4.2.1-CvyaA91rGJh3LGq34EOJVB-ghc8.10.5.so()(64bit)
• libHSblaze-html-0.9.1.2-E34VKXQv2C22hM6BxlG1jb-ghc8.10.5.so()(64bit)
• libHSblaze-markup-0.8.2.8-KtsiQXGP0cYCYXtOHllsog-ghc8.10.5.so()(64bit)
• libHSboxes-0.1.5-B1h62kKdvyJ5OOlDZdKeVO-ghc8.10.5.so()(64bit)
• libHSbytestring-0.10.12.0-ghc8.10.5.so()(64bit)
• libHScase-insensitive-1.2.1.0-J1r9a74F53JCf4kY5SSPqh-ghc8.10.5.so()(64bit)
• libHScomonad-5.0.8-FAFrYXmUa1cKPARIj39bI0-ghc8.10.5.so()(64bit)
• libHScontainers-0.6.4.1-ghc8.10.5.so()(64bit)
• libHSdata-fix-0.3.2-7pPEmQlieqX4cil1TJFJFh-ghc8.10.5.so()(64bit)
• libHSdata-hash-0.2.0.1-LkMc0bqAeQBxfk0jyLwD8-ghc8.10.5.so()(64bit)
• libHSdeepseq-1.4.4.0-ghc8.10.5.so()(64bit)
• libHSdirectory-1.3.6.0-ghc8.10.5.so()(64bit)
• libHSdistributive-0.6.2.1-H5JnS9HQD80xhhnSkFFEE-ghc8.10.5.so()(64bit)
• libHSdlist-1.0-6DPeXMQjdhO5HourGnaNA8-ghc8.10.5.so()(64bit)
• libHSedit-distance-0.2.2.1-1JzolFUm1dNFaL3qOzjCDC-ghc8.10.5.so()(64bit)
• libHSequivalence-0.3.5-Ctxeflo4Iz08RqsfIRQiFU-ghc8.10.5.so()(64bit)
• libHSexceptions-0.10.4-ghc8.10.5.so()(64bit)
• libHSfilepath-1.4.2.1-ghc8.10.5.so()(64bit)
• libHSghc-boot-th-8.10.5-ghc8.10.5.so()(64bit)
• libHSghc-compact-0.1.0.0-ghc8.10.5.so()(64bit)
• libHSghc-prim-0.6.1-ghc8.10.5.so()(64bit)
• libHSgitrev-1.3.1-IeAYO8QUG62LW4J3MUanQA-ghc8.10.5.so()(64bit)
• libHShashable-1.3.0.0-AC24voAet8VD7h7fDAkjdM-ghc8.10.5.so()(64bit)
• libHShashtables-1.2.4.1-5AHcSR8wMg4D6Du2pRhHXM-ghc8.10.5.so()(64bit)
• libHShaskeline-0.8.0.1-ghc8.10.5.so()(64bit)
• libHSindexed-traversable-0.1.1-1Z2GfU1EWlL3ZzMnGNHsA4-ghc8.10.5.so()(64bit)
• libHSinteger-gmp-1.0.3.0-ghc8.10.5.so()(64bit)
• libHSinteger-logarithms-1.0.3.1-JdgTo8TuEi7GJLFkpW7C4m-ghc8.10.5.so()(64bit)
• libHSmonad-control-1.0.3-DubkgPj9ABO9WYQqT30e05-ghc8.10.5.so()(64bit)
• libHSmtl-2.2.2-ghc8.10.5.so()(64bit)
• libHSmurmur-hash-0.1.0.9-493u58tDLeoHWKW9um8pv0-ghc8.10.5.so()(64bit)
• libHSnetwork-uri-2.6.4.1-2R61L6t2WzL2ZwKkeVSxCa-ghc8.10.5.so()(64bit)
• libHSparallel-3.2.2.0-H513jAs1HA11zQonYV0DH5-ghc8.10.5.so()(64bit)
• libHSparsec-3.1.14.0-ghc8.10.5.so()(64bit)
• libHSpretty-1.1.3.6-ghc8.10.5.so()(64bit)
• libHSprimitive-0.7.1.0-H44eQ1j8hQJ3Kj2SFx0Ivh-ghc8.10.5.so()(64bit)
• libHSprocess-1.6.9.0-ghc8.10.5.so()(64bit)
• libHSrandom-1.2.0-ALMObmRXrnwLj9oBvdubT1-ghc8.10.5.so()(64bit)
• libHSregex-base-0.94.0.1-BhcrfAa0EaQLabAeJ8QV4e-ghc8.10.5.so()(64bit)
• libHSregex-tdfa-1.3.1.1-8VoMbEm3wUO54FUt0LvNBD-ghc8.10.5.so()(64bit)
• libHSscientific-0.3.7.0-LDPslsw44qeJsI1zT3N2li-ghc8.10.5.so()(64bit)
• libHSsplit-0.2.3.4-9bcArGQAspn7wiU3tzsZKC-ghc8.10.5.so()(64bit)
• libHSsplitmix-0.1.0.3-4qWVbvEjjhWIyAWgZxPXma-ghc8.10.5.so()(64bit)
• libHSstm-2.5.0.1-ghc8.10.5.so()(64bit)
• libHSstrict-0.4.0.1-1xFTAq4YhxX94NPQMMxjB-ghc8.10.5.so()(64bit)
• libHStagged-0.8.6.1-ApoezAM80qJ4868gaeuSrz-ghc8.10.5.so()(64bit)
• libHStemplate-haskell-2.16.0.0-ghc8.10.5.so()(64bit)
• libHSterminfo-0.4.1.4-ghc8.10.5.so()(64bit)
• libHStext-1.2.4.1-ghc8.10.5.so()(64bit)
• libHSth-abstraction-0.4.2.0-5X2XqBZ7rCLBwJXut5dQBZ-ghc8.10.5.so()(64bit)
• libHSth-compat-0.1.2-ByZxBcpUF66G8zRwaSaAGi-ghc8.10.5.so()(64bit)
• libHSthese-1.1.1.1-Ivn4Vf2i7RdDCN9YRSFBpq-ghc8.10.5.so()(64bit)
• libHStime-1.9.3-ghc8.10.5.so()(64bit)
• libHStime-compat-1.9.5-Aqwn6t4iSAf27FyzRHBEs0-ghc8.10.5.so()(64bit)
• libHStransformers-0.5.6.2-ghc8.10.5.so()(64bit)
• libHStransformers-base-0.4.5.2-66DLpRr9QEA4hFAUEXGw24-ghc8.10.5.so()(64bit)
• libHStransformers-compat-0.6.6-8xD7tdhdla21VYsnm1hEvk-ghc8.10.5.so()(64bit)
• libHSunix-2.7.2.2-ghc8.10.5.so()(64bit)
• libHSunordered-containers-0.2.14.0-HBBKkH2htsO1rAZUyxA0VG-ghc8.10.5.so()(64bit)
• libHSuri-encode-1.5.0.7-6OvkRLqJ80cIez52pxrdN0-ghc8.10.5.so()(64bit)
• libHSutf8-string-1.0.2-LGUADZMAQmwIoev3AnM21Z-ghc8.10.5.so()(64bit)
• libHSuuid-types-1.0.5-DAMaBxA4kIZG6CgXUeYFPU-ghc8.10.5.so()(64bit)
• libHSvector-0.12.3.0-K9OZS5OCy7cE2QKQqSO9mp-ghc8.10.5.so()(64bit)
• libHSzlib-0.6.2.3-1TbqDLOHj1L5XkI29UmFHV-ghc8.10.5.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.17)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libtinfo.so.6()(64bit)
• libz.so.1()(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

MIT and BSD

Changelog

* 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
* Sun Jun 07 2020 Jens Petersen <petersen@redhat.com> - 2.6.1-23
  - update to 2.6.1
  - drop EdisonCore and EdisonAPI deps
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/c6
/usr/lib/.build-id/c6/d3e8fcb8c7851db7ba5d6fbd3c5c3fd72f7a23
/usr/lib64/libHSAgda-2.6.2-2fIO0qzLA6fLZRIj4yF8z4-ghc8.10.5.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon May 9 22:29:32 2022