ghc-Agda-2.6.2.2-38.fc38 RPM for x86_64

From Fedora 38 for x86_64 / g

This package provides the Haskell Agda shared library.

Provides

• ghc-Agda
• ghc-Agda(x86-64)
• libHSAgda-2.6.2.2-5UP7zU8ZQ991hlQcMxoIJm-ghc9.2.6.so()(64bit)

Requires

• Agda-common = 2.6.2.2-38.fc38
• libHSOneTuple-0.3.1-19aagblaKIO8EaYqHzGys7-ghc9.2.6.so()(64bit)
• libHSQuickCheck-2.14.2-5MEkezQWt2wAL6yhEQilvT-ghc9.2.6.so()(64bit)
• libHSSTMonadTrans-0.4.6-2JfM2ubYY1rvDta9axoCB-ghc9.2.6.so()(64bit)
• libHSStateVar-1.2.2-4TJ8CI5wrC5B2qk02v8ZQ3-ghc9.2.6.so()(64bit)
• libHSaeson-2.0.3.0-Ki9YE39Dvm01lGSy8xVrUv-ghc9.2.6.so()(64bit)
• libHSarray-0.5.4.0-ghc9.2.6.so()(64bit)
• libHSassoc-1.0.2-Ixi7l1OxCXc2VEkOY9B8FK-ghc9.2.6.so()(64bit)
• libHSasync-2.2.4-3V0ZKllfTvyGMUazcHZwjH-ghc9.2.6.so()(64bit)
• libHSattoparsec-0.14.4-FvMxRDZFHIIJkvX5AktY8-ghc9.2.6.so()(64bit)
• libHSattoparsec-0.14.4-Ka7DvhUqrd9G4Nmyt034Cd-attoparsec-internal-ghc9.2.6.so()(64bit)
• libHSbase-4.16.4.0-ghc9.2.6.so()(64bit)
• libHSbase-compat-0.12.2-5hQPtIjgG5LKnb20qwjRWd-ghc9.2.6.so()(64bit)
• libHSbase-compat-batteries-0.12.2-1Vn4LP6lBI42sa3BDlkj3-ghc9.2.6.so()(64bit)
• libHSbase-orphans-0.8.7-89hNxCzOA0h5VQ30esLcLh-ghc9.2.6.so()(64bit)
• libHSbifunctors-5.5.14-8Ldr7VyeLbr98vHsGDnTVP-ghc9.2.6.so()(64bit)
• libHSbinary-0.8.9.0-ghc9.2.6.so()(64bit)
• libHSblaze-builder-0.4.2.2-3NTw02O9att6E30b6dwOmB-ghc9.2.6.so()(64bit)
• libHSblaze-html-0.9.1.2-IRa9sP0ZLAf5yVNTp40hrI-ghc9.2.6.so()(64bit)
• libHSblaze-markup-0.8.2.8-BsxB2MI39xQ3HeE8yFjJPe-ghc9.2.6.so()(64bit)
• libHSboxes-0.1.5-HdlQyafWDt62rmVmIML9gf-ghc9.2.6.so()(64bit)
• libHSbytestring-0.11.4.0-ghc9.2.6.so()(64bit)
• libHScase-insensitive-1.2.1.0-JapAXB5q4LsA6EoSWMfwzZ-ghc9.2.6.so()(64bit)
• libHScomonad-5.0.8-ILDp4T4kPKv65TblAa7vbZ-ghc9.2.6.so()(64bit)
• libHScontainers-0.6.5.1-ghc9.2.6.so()(64bit)
• libHScontravariant-1.5.5-5oidlNG7iHK9t9RygzxsHS-ghc9.2.6.so()(64bit)
• libHSdata-array-byte-0.1.0.1-F1wKB6232C455YIiBqRzC9-ghc9.2.6.so()(64bit)
• libHSdata-fix-0.3.2-ZKQsDqEx6w8Iv0TWHI42t-ghc9.2.6.so()(64bit)
• libHSdata-hash-0.2.0.1-BvFfKfAiinTK7oGf647Psw-ghc9.2.6.so()(64bit)
• libHSdeepseq-1.4.6.1-ghc9.2.6.so()(64bit)
• libHSdirectory-1.3.6.2-ghc9.2.6.so()(64bit)
• libHSdistributive-0.6.2.1-4ZgHcAZThEz4bMYmEuK2zk-ghc9.2.6.so()(64bit)
• libHSdlist-1.0-5Nz2dJ1TpqjBKb0UXxj786-ghc9.2.6.so()(64bit)
• libHSedit-distance-0.2.2.1-1QCD8eo1K9e1QfGruQzCc6-ghc9.2.6.so()(64bit)
• libHSequivalence-0.4.1-2E0f3mrA8BhKFuSUZupPu3-ghc9.2.6.so()(64bit)
• libHSexceptions-0.10.4-ghc9.2.6.so()(64bit)
• libHSfilepath-1.4.2.2-ghc9.2.6.so()(64bit)
• libHSghc-bignum-1.2-ghc9.2.6.so()(64bit)
• libHSghc-boot-th-9.2.6-ghc9.2.6.so()(64bit)
• libHSghc-compact-0.1.0.0-ghc9.2.6.so()(64bit)
• libHSghc-prim-0.8.0-ghc9.2.6.so()(64bit)
• libHSgitrev-1.3.1-9lQGgHpaqCODNpyMdeEqev-ghc9.2.6.so()(64bit)
• libHShashable-1.4.2.0-bb0OMd9p4SJnX9qKDXlHL-ghc9.2.6.so()(64bit)
• libHShashtables-1.3.1-4gMJ1oLvu3E9w5dPfitjgU-ghc9.2.6.so()(64bit)
• libHShaskeline-0.8.2-ghc9.2.6.so()(64bit)
• libHSindexed-traversable-0.1.2-5LVVd4Z66ApQ46gP3i0cs-ghc9.2.6.so()(64bit)
• libHSindexed-traversable-instances-0.1.1.1-8SBg0ZNqNDcCXGWIPNrO8F-ghc9.2.6.so()(64bit)
• libHSinteger-logarithms-1.0.3.1-28RdE2JcAgeI7Np2tJwoKP-ghc9.2.6.so()(64bit)
• libHSmonad-control-1.0.3.1-7Mc59fZAuzPG7QUWoX0b15-ghc9.2.6.so()(64bit)
• libHSmtl-2.2.2-ghc9.2.6.so()(64bit)
• libHSmurmur-hash-0.1.0.10-J20lvSjBF1rKaV9347DkX6-ghc9.2.6.so()(64bit)
• libHSnetwork-uri-2.6.4.2-5ICEl53bG1B6ciw4UDSP9h-ghc9.2.6.so()(64bit)
• libHSparallel-3.2.2.0-KgDyPHm89eYAjQsIhXthC1-ghc9.2.6.so()(64bit)
• libHSparsec-3.1.15.0-ghc9.2.6.so()(64bit)
• libHSpretty-1.1.3.6-ghc9.2.6.so()(64bit)
• libHSprimitive-0.7.3.0-AwGslPyfQNeDCHW7WoM0VU-ghc9.2.6.so()(64bit)
• libHSprocess-1.6.16.0-ghc9.2.6.so()(64bit)
• libHSrandom-1.2.1.1-9dwwB5T9qLUCVJfHh8Y0vo-ghc9.2.6.so()(64bit)
• libHSregex-base-0.94.0.2-6On48UZuN5IJxnL3aRqiWN-ghc9.2.6.so()(64bit)
• libHSregex-tdfa-1.3.2-4epoedMueZX9eAPEZjQ4Cj-ghc9.2.6.so()(64bit)
• libHSscientific-0.3.7.0-2PpMj3XsvHpDcnaTgtRT4i-ghc9.2.6.so()(64bit)
• libHSsemialign-1.2.0.1-2jDFkV8dg6n8ZFBNgEYI96-ghc9.2.6.so()(64bit)
• libHSsemigroupoids-5.3.7-GXXEUt6wsuoCpkBdN55WdD-ghc9.2.6.so()(64bit)
• libHSsplit-0.2.3.5-A3rQLwgqzsiLSLyptRyW5K-ghc9.2.6.so()(64bit)
• libHSsplitmix-0.1.0.4-KQJjjittnFFJ0Pi3510gQ0-ghc9.2.6.so()(64bit)
• libHSstm-2.5.0.2-ghc9.2.6.so()(64bit)
• libHSstrict-0.4.0.1-IZxZEI94lFaCwbZLdyujlt-ghc9.2.6.so()(64bit)
• libHStagged-0.8.6.1-82zEo9eoX27AKO3QLF5wjS-ghc9.2.6.so()(64bit)
• libHStemplate-haskell-2.18.0.0-ghc9.2.6.so()(64bit)
• libHSterminfo-0.4.1.5-ghc9.2.6.so()(64bit)
• libHStext-1.2.5.0-ghc9.2.6.so()(64bit)
• libHStext-short-0.1.5-A16jdPao25JCDyao2KW1XK-ghc9.2.6.so()(64bit)
• libHSth-abstraction-0.4.5.0-FQrzhXbdvQX3Z0wTw3euNu-ghc9.2.6.so()(64bit)
• libHSth-compat-0.1.4-ISzeYJkBQnbGMB71ahhp9y-ghc9.2.6.so()(64bit)
• libHSthese-1.1.1.1-6MPHlk76xF2HLX9OoanBQn-ghc9.2.6.so()(64bit)
• libHStime-1.11.1.1-ghc9.2.6.so()(64bit)
• libHStime-compat-1.9.6.1-H6Sz2EFi4ZfGxpJ3M1Yuez-ghc9.2.6.so()(64bit)
• libHStransformers-0.5.6.2-ghc9.2.6.so()(64bit)
• libHStransformers-base-0.4.6-Bya5XWDzxFSFj72gKpmlkw-ghc9.2.6.so()(64bit)
• libHStransformers-compat-0.7.2-9ApmiRwA3hS7UuQpOomcS-ghc9.2.6.so()(64bit)
• libHSunix-2.7.2.2-ghc9.2.6.so()(64bit)
• libHSunordered-containers-0.2.19.1-4QPX038P0M68bmbwA6NLDY-ghc9.2.6.so()(64bit)
• libHSuri-encode-1.5.0.7-7UEKeDFRnOm7fnQquD2WqJ-ghc9.2.6.so()(64bit)
• libHSutf8-string-1.0.2-Hm2vHl4bWSX1OP32Q8P6r9-ghc9.2.6.so()(64bit)
• libHSuuid-types-1.0.5-4YjQ9UbNUNHqFamDP6dqJ-ghc9.2.6.so()(64bit)
• libHSvector-0.12.3.1-IqfBLkMSAFq9oMtTBAq8aN-ghc9.2.6.so()(64bit)
• libHSwitherable-0.4.2-PVCwMsLPeMCVNCQbynFVY-ghc9.2.6.so()(64bit)
• libHSzlib-0.6.3.0-7Phb6Z4OQ7SFgHXOe18eEN-ghc9.2.6.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libgmp.so.10()(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

* 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
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2.2-37
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Mon Jun 20 2022 Jens Petersen <petersen@redhat.com>
  - add Provides agda
* Tue Jun 07 2022 Jens Petersen <petersen@redhat.com> - 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 <petersen@redhat.com> - 2.6.2.1-35
  - https://hackage.haskell.org/package/Agda-2.6.2.1/changelog
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-34
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Sat Jan 08 2022 Miro Hrončok <mhroncok@redhat.com> - 2.6.2-33
  - Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/a0dd4442ea915b10906f5d1ffc2d097583aa89
/usr/lib64/ghc-9.2.6/lib/libHSAgda-2.6.2.2-5UP7zU8ZQ991hlQcMxoIJm-ghc9.2.6.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 22:26:30 2024