ghc-Agda-2.6.4.3-50.fc41 RPM for x86_64

From Fedora 41 for x86_64 / g

This package provides the Haskell Agda shared library.

Provides

• ghc-Agda
• ghc-Agda(x86-64)
• libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8-ghc9.6.6.so()(64bit)

Requires

• Agda-common = 2.6.4.3-50.fc41
• libHSOneTuple-0.4.2-7od06fXUUXRBNk1V3VY0g5-ghc9.6.6.so()(64bit)
• libHSQuickCheck-2.14.3-E9VttT8lnId93rGQPNsiU9-ghc9.6.6.so()(64bit)
• libHSSTMonadTrans-0.4.8-Jdu2Aai6G1LKixHH6QDJMH-ghc9.6.6.so()(64bit)
• libHSStateVar-1.2.2-A6sCENWC9xLH02ziP9IDyb-ghc9.6.6.so()(64bit)
• libHSaeson-2.1.2.1-D0qQe3CNlvvLYKUgPcjbMF-ghc9.6.6.so()(64bit)
• libHSansi-terminal-1.0.2-BAf8I876hPhJFEtshgOsOs-ghc9.6.6.so()(64bit)
• libHSansi-terminal-types-0.11.5-EqlSjsBzg08BPCkB2XI47w-ghc9.6.6.so()(64bit)
• libHSarray-0.5.6.0-ghc9.6.6.so()(64bit)
• libHSassoc-1.1.1-LimEe8pF5RrAGc6oZe3mfa-ghc9.6.6.so()(64bit)
• libHSasync-2.2.5-GMWeTaoaded4Wz7DAkFLAR-ghc9.6.6.so()(64bit)
• libHSattoparsec-0.14.4-GAKm7J8Gleq2k06HFjeIeY-attoparsec-internal-ghc9.6.6.so()(64bit)
• libHSattoparsec-0.14.4-GMRn5HuvZQNAmR4tMlBF9B-ghc9.6.6.so()(64bit)
• libHSbase-4.18.2.1-ghc9.6.6.so()(64bit)
• libHSbase-compat-0.13.1-Dtt5em6saazHWsbVLVBeTy-ghc9.6.6.so()(64bit)
• libHSbase-compat-batteries-0.13.1-5fbdeENWe9mF7TcjAFq4dk-ghc9.6.6.so()(64bit)
• libHSbase-orphans-0.9.2-5KrayDGKJf32IfEBx9TBiS-ghc9.6.6.so()(64bit)
• libHSbifunctors-5.6.2-12p6wi2wnzhJ5Ko2JvLlVw-ghc9.6.6.so()(64bit)
• libHSbinary-0.8.9.1-ghc9.6.6.so()(64bit)
• libHSblaze-builder-0.4.2.3-DQBnLFBE1VT45U7k73NJUF-ghc9.6.6.so()(64bit)
• libHSblaze-html-0.9.2.0-82IrCjcfxKJFkd2A5SPiKs-ghc9.6.6.so()(64bit)
• libHSblaze-markup-0.8.3.0-2a60V4XFqXQ45R0mD16DW9-ghc9.6.6.so()(64bit)
• libHSboxes-0.1.5-1BZ4VWntABL6pmzqamGJA8-ghc9.6.6.so()(64bit)
• libHSbytestring-0.11.5.3-ghc9.6.6.so()(64bit)
• libHScase-insensitive-1.2.1.0-Ig8WgaPQ5k4KQd4WU8lDCy-ghc9.6.6.so()(64bit)
• libHScolour-2.3.6-Dv7015zVt5k10e0N0YtJJm-ghc9.6.6.so()(64bit)
• libHScomonad-5.0.8-6z2oFUa3fJi9bdDseQ1IV-ghc9.6.6.so()(64bit)
• libHScontainers-0.6.7-ghc9.6.6.so()(64bit)
• libHScontravariant-1.5.5-A7lal0hcJpG2Mk9fe5J59Z-ghc9.6.6.so()(64bit)
• libHSdata-fix-0.3.4-2DmhGYSx1No18trPlybf4r-ghc9.6.6.so()(64bit)
• libHSdata-hash-0.2.0.1-1C4EVdQanf6FeWnxYb8Ttu-ghc9.6.6.so()(64bit)
• libHSdeepseq-1.4.8.1-ghc9.6.6.so()(64bit)
• libHSdirectory-1.3.8.5-ghc9.6.6.so()(64bit)
• libHSdistributive-0.6.2.1-Ak4SWutYoMcKj7F268v0Mi-ghc9.6.6.so()(64bit)
• libHSdlist-1.0-7vDlnn0Hdvg35SyXLwMaWr-ghc9.6.6.so()(64bit)
• libHSedit-distance-0.2.2.1-8dkjojky6bb1wovAKsZNKv-ghc9.6.6.so()(64bit)
• libHSequivalence-0.4.1-EnlwWwCktBW51EPpS3NlIf-ghc9.6.6.so()(64bit)
• libHSexceptions-0.10.7-ghc9.6.6.so()(64bit)
• libHSfilepath-1.4.300.1-ghc9.6.6.so()(64bit)
• libHSgenerically-0.1.1-I9byc5Nil798plofO827gA-ghc9.6.6.so()(64bit)
• libHSghc-bignum-1.3-ghc9.6.6.so()(64bit)
• libHSghc-boot-th-9.6.6-ghc9.6.6.so()(64bit)
• libHSghc-compact-0.1.0.0-ghc9.6.6.so()(64bit)
• libHSghc-prim-0.10.0-ghc9.6.6.so()(64bit)
• libHSgitrev-1.3.1-Hgj6OsBlk7sBP78WE2r3Dn-ghc9.6.6.so()(64bit)
• libHShashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe-ghc9.6.6.so()(64bit)
• libHShaskeline-0.8.2.1-ghc9.6.6.so()(64bit)
• libHSindexed-traversable-0.1.4-8j5HZpShpE5BqFup9Ojenr-ghc9.6.6.so()(64bit)
• libHSindexed-traversable-instances-0.1.2-2oqxTHiGyOuJR1BsLvzrk8-ghc9.6.6.so()(64bit)
• libHSinteger-logarithms-1.0.3.1-6uUFCUhH0MHDrcFfWqxKEn-ghc9.6.6.so()(64bit)
• libHSmonad-control-1.0.3.1-EprGtcAOKGn9NqvyfagEjE-ghc9.6.6.so()(64bit)
• libHSmtl-2.3.1-ghc9.6.6.so()(64bit)
• libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so()(64bit)
• libHSnetwork-uri-2.6.4.2-EHvmMPMnHIt7f0JZKGI6S7-ghc9.6.6.so()(64bit)
• libHSos-string-2.0.6-IlBa2UQjH7mL18YjMu1jzE-ghc9.6.6.so()(64bit)
• libHSparallel-3.2.2.0-4GFGhbl8Ae06nPoqdIyBUD-ghc9.6.6.so()(64bit)
• libHSparsec-3.1.16.1-ghc9.6.6.so()(64bit)
• libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY-ghc9.6.6.so()(64bit)
• libHSpretty-1.1.3.6-ghc9.6.6.so()(64bit)
• libHSprimitive-0.8.0.0-G7z1XrhwN0bFkYsIqIr1QU-ghc9.6.6.so()(64bit)
• libHSprocess-1.6.19.0-ghc9.6.6.so()(64bit)
• libHSrandom-1.2.1.2-9nSipNyPzIK3OtGny4BWjI-ghc9.6.6.so()(64bit)
• libHSregex-base-0.94.0.2-BPsTisuirWxG3DC5irjY4G-ghc9.6.6.so()(64bit)
• libHSregex-tdfa-1.3.2.2-5RMyPk43J4gDSWcjYl0OpF-ghc9.6.6.so()(64bit)
• libHSscientific-0.3.7.0-2UwdviWB0CH1nqOoguwg4m-ghc9.6.6.so()(64bit)
• libHSsemialign-1.3.1-KA56LOpKJI8DNkTGs7KN44-ghc9.6.6.so()(64bit)
• libHSsemigroupoids-6.0.1-32bnlDo08uWKppaK8Ib2rA-ghc9.6.6.so()(64bit)
• libHSsplit-0.2.5-5qpEwx7qUv6FlaHbX7jgA2-ghc9.6.6.so()(64bit)
• libHSsplitmix-0.1.0.5-1g4Y67JB8lK4ODDsw0vzN6-ghc9.6.6.so()(64bit)
• libHSstm-2.5.1.0-ghc9.6.6.so()(64bit)
• libHSstrict-0.5-2Ih5J4boI0o4YQYnrtRDYI-ghc9.6.6.so()(64bit)
• libHStagged-0.8.8-Kzng2lnKElzJiyKd9g735c-ghc9.6.6.so()(64bit)
• libHStemplate-haskell-2.20.0.0-ghc9.6.6.so()(64bit)
• libHSterminfo-0.4.1.6-ghc9.6.6.so()(64bit)
• libHStext-2.0.2-ghc9.6.6.so()(64bit)
• libHStext-icu-0.8.0.5-J4CrrSP4KzK5QaMFh5FAQZ-ghc9.6.6.so()(64bit)
• libHStext-short-0.1.6-8cAhU1GVIuv7MKNSfV6o01-ghc9.6.6.so()(64bit)
• libHSth-abstraction-0.5.0.0-HAFjiAO2nGN58SdxVZCnLH-ghc9.6.6.so()(64bit)
• libHSth-compat-0.1.5-GhHQJW6WN2TKpN9D0nnUC-ghc9.6.6.so()(64bit)
• libHSthese-1.2.1-Lmhp9aSRg20H3DMUOaCHTJ-ghc9.6.6.so()(64bit)
• libHStime-1.12.2-ghc9.6.6.so()(64bit)
• libHStime-compat-1.9.6.1-GW1Nw3Nvkk39bFykE9AmZ0-ghc9.6.6.so()(64bit)
• libHStransformers-0.6.1.0-ghc9.6.6.so()(64bit)
• libHStransformers-base-0.4.6-AFroRD7LLlU6BPVd6EHPcA-ghc9.6.6.so()(64bit)
• libHStransformers-compat-0.7.2-LmnlcpbfHuuAOWEWPuyobH-ghc9.6.6.so()(64bit)
• libHSunix-2.8.4.0-ghc9.6.6.so()(64bit)
• libHSunordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk-ghc9.6.6.so()(64bit)
• libHSuri-encode-1.5.0.7-FMYFkkIUv4tDYyypWrKQzH-ghc9.6.6.so()(64bit)
• libHSutf8-string-1.0.2-JbA27QG8axS8Qz2DLqBtSE-ghc9.6.6.so()(64bit)
• libHSuuid-types-1.0.5.1-7Th8iso07O3LE4sSX8wPSJ-ghc9.6.6.so()(64bit)
• libHSvector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL-ghc9.6.6.so()(64bit)
• libHSvector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ-ghc9.6.6.so()(64bit)
• libHSvector-stream-0.1.0.1-B3eeou3yuYd7g2aD4u5s22-ghc9.6.6.so()(64bit)
• libHSwitherable-0.4.2-1d1IqaNPL2NKe2SmYw9bzg-ghc9.6.6.so()(64bit)
• libHSzlib-0.6.3.0-1wL1ZnD0mNDIbG0f7fYWIS-ghc9.6.6.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libgmp.so.10()(64bit)
• libicudata.so.74()(64bit)
• libicui18n.so.74()(64bit)
• libicuuc.so.74()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(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-3-Clause

Changelog

* Sun Jul 21 2024 Jens Petersen <petersen@redhat.com> - 2.6.4.3-50
  - update vector-hashtables to 0.1.2.0
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.3-49
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Sat May 18 2024 Jens Petersen <petersen@redhat.com> - 2.6.4.3-48
  - update to 2.6.4.3
  - https://hackage.haskell.org/package/Agda-2.6.4.2/changelog
  - https://hackage.haskell.org/package/Agda-2.6.4.3/changelog
* Tue Feb 20 2024 Jens Petersen <petersen@redhat.com> - 2.6.4.1-47
  - rawhide: enable-cluster-counting with text-icu
  - update vector-hashtables to 0.1.1.4
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.1-46
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.1-45
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jan 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.1-44
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Dec 07 2023 Jens Petersen <petersen@redhat.com> - 2.6.4.1-43
  - https://hackage.haskell.org/package/Agda-2.6.4.1/changelog
  - update peano to 0.1.0.2
* Tue Oct 17 2023 Jens Petersen <petersen@redhat.com> - 2.6.4-42
  - F40: enable optimise-heavily flag
* Mon Oct 09 2023 Jens Petersen <petersen@redhat.com> - 2.6.4-41
  - update to 2.6.4
  - https://hackage.haskell.org/package/Agda-2.6.4/changelog
* Sat Jul 29 2023 Jens Petersen <petersen@redhat.com> - 2.6.3-40
  - https://hackage.haskell.org/package/Agda-2.6.3/changelog
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2.2-39
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 11 2023 Jens Petersen <petersen@redhat.com>
  - drop geniplate-mirror: not needed since 2.6.2
* Sat Feb 18 2023 Jens Petersen <petersen@redhat.com> - 2.6.2.2-38
  - refresh to cabal-rpm-2.1.0 including SPDX migration
  - bump geniplate-mirror to 0.7.9

Files

/usr/lib/.build-id
/usr/lib/.build-id/2f
/usr/lib/.build-id/2f/620fdd563c9c69224555f008b583bc8e95783a
/usr/lib64/ghc-9.6.6/lib/libHSAgda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8-ghc9.6.6.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Oct 27 02:54:38 2024