ghc-Agda-2.5.3-14.el8 RPM for x86_64

From EPEL 8 for x86_64 / Packages / g

This package provides the Haskell Agda shared library.

Provides

• ghc-Agda
• ghc-Agda(x86-64)
• libHSAgda-2.5.3-4zGY0YR3fLO5U1da0wzVdW-ghc8.2.2.so()(64bit)

Requires

• libHSAgda-2.5.3-4zGY0YR3fLO5U1da0wzVdW-ghc8.2.2.so()(64bit)
• libHSEdisonAPI-1.3.1-IaG6hy9pPqn2w7z99RdxUC-ghc8.2.2.so()(64bit)
• libHSEdisonCore-1.3.2.1-AZmveBCeArA1Ehqi2nvXCF-ghc8.2.2.so()(64bit)
• libHSQuickCheck-2.10.1-ITccuGmxcAJ3LqZnJvZ2nQ-ghc8.2.2.so()(64bit)
• libHSSTMonadTrans-0.4.3-JvXhT7D5V0Z2zl9Kk5R8sP-ghc8.2.2.so()(64bit)
• libHSarray-0.5.2.0-ghc8.2.2.so()(64bit)
• libHSasync-2.1.1.1-K429Y4XjamzDpSomhW85Gx-ghc8.2.2.so()(64bit)
• libHSbase-4.10.1.0-ghc8.2.2.so()(64bit)
• libHSbase-compat-0.9.3-915GC5pH10BBmcMnCvMsPA-ghc8.2.2.so()(64bit)
• libHSbinary-0.8.5.1-ghc8.2.2.so()(64bit)
• libHSblaze-builder-0.4.1.0-CqkRAAJSGiQ47baHFgUT5M-ghc8.2.2.so()(64bit)
• libHSblaze-html-0.9.1.1-25oPaF2yn7BvfpNi1tnVD-ghc8.2.2.so()(64bit)
• libHSblaze-markup-0.8.2.1-Hzh5O1zkNQXFdlbzYJG7gN-ghc8.2.2.so()(64bit)
• libHSboxes-0.1.5-HrbcCBnCp5b6GBNDSbqkd-ghc8.2.2.so()(64bit)
• libHSbytestring-0.10.8.2-ghc8.2.2.so()(64bit)
• libHScontainers-0.5.10.2-ghc8.2.2.so()(64bit)
• libHSdata-hash-0.2.0.1-4l1SGnbqNHx3iulLfjA02R-ghc8.2.2.so()(64bit)
• libHSdeepseq-1.4.3.0-ghc8.2.2.so()(64bit)
• libHSdirectory-1.3.0.2-ghc8.2.2.so()(64bit)
• libHSedit-distance-0.2.2.1-EaSjgw2yYb066MoIbDPIEG-ghc8.2.2.so()(64bit)
• libHSequivalence-0.3.2-6u9InHCqpdW2PZ2cY08Kfu-ghc8.2.2.so()(64bit)
• libHSfilepath-1.4.1.2-ghc8.2.2.so()(64bit)
• libHSgeniplate-mirror-0.7.6-9JY89wNxmPYIHFJwrN32J-ghc8.2.2.so()(64bit)
• libHSghc-boot-th-8.2.2-ghc8.2.2.so()(64bit)
• libHSghc-prim-0.5.1.1-ghc8.2.2.so()(64bit)
• libHSgitrev-1.3.1-JVrypmYNWjs1jJQPEs0aKn-ghc8.2.2.so()(64bit)
• libHShashable-1.2.7.0-Idw6xX7wNurD1pqWILqENR-ghc8.2.2.so()(64bit)
• libHShashtables-1.2.3.1-DVFbuMkrDur7piXVkN4b0w-ghc8.2.2.so()(64bit)
• libHShaskeline-0.7.4.0-ghc8.2.2.so()(64bit)
• libHSieee754-0.8.0-B9FdsnFZjDO5G55ttUSqU0-ghc8.2.2.so()(64bit)
• libHSinteger-gmp-1.0.1.0-ghc8.2.2.so()(64bit)
• libHSmonadplus-1.4.2-ELxF4feHunYLBDbGsqK8bu-ghc8.2.2.so()(64bit)
• libHSmtl-2.2.2-8XubxMJDT8QLsstvlNotkc-ghc8.2.2.so()(64bit)
• libHSmurmur-hash-0.1.0.9-58saU5wLuI95RQk0lfaLJm-ghc8.2.2.so()(64bit)
• libHSnetwork-uri-2.6.1.0-G6PLTuqdJBw2q2cxBMMXWS-ghc8.2.2.so()(64bit)
• libHSparallel-3.2.2.0-JRL2s8v20l0CCDEHFmV4Me-ghc8.2.2.so()(64bit)
• libHSparsec-3.1.13.0-6BLo566heT6JEy0ofGJI6h-ghc8.2.2.so()(64bit)
• libHSpretty-1.1.3.3-ghc8.2.2.so()(64bit)
• libHSprimitive-0.6.4.0-kK2x3tDWKdAgEjt22m9eJ-ghc8.2.2.so()(64bit)
• libHSprocess-1.6.1.0-ghc8.2.2.so()(64bit)
• libHSrandom-1.1-LLUGZ7T9DqQ5vN0Jbcd0We-ghc8.2.2.so()(64bit)
• libHSregex-base-0.93.2-2WymZ6oErYqGB0H6LBWVXT-ghc8.2.2.so()(64bit)
• libHSregex-tdfa-1.2.3.1-KqjBsaKmy0KQxoSLKNDul-ghc8.2.2.so()(64bit)
• libHSrts-ghc8.2.2.so()(64bit)
• libHSsplit-0.2.3.3-69JBPqG5rhJEaFzFyiVOGW-ghc8.2.2.so()(64bit)
• libHSstm-2.4.5.0-15FdumhhnVEKazIoQZDzp1-ghc8.2.2.so()(64bit)
• libHSstrict-0.3.2-8X7gei2OShnI8D6awEvqNq-ghc8.2.2.so()(64bit)
• libHStemplate-haskell-2.12.0.0-ghc8.2.2.so()(64bit)
• libHSterminfo-0.4.1.0-ghc8.2.2.so()(64bit)
• libHStext-1.2.3.0-GmbS1eycnDHLhZQQeWF5x-ghc8.2.2.so()(64bit)
• libHStf-random-0.5-30MNqkCI2qn7J9CAyOxruT-ghc8.2.2.so()(64bit)
• libHStime-1.8.0.2-ghc8.2.2.so()(64bit)
• libHStransformers-0.5.2.0-ghc8.2.2.so()(64bit)
• libHStransformers-compat-0.5.1.4-EAh8Ccrgitz4vTZtbTPyCM-ghc8.2.2.so()(64bit)
• libHSunix-2.7.2.2-ghc8.2.2.so()(64bit)
• libHSunordered-containers-0.2.9.0-8cLD8MW1bwF1Ze0IMEHxYR-ghc8.2.2.so()(64bit)
• libHSuri-encode-1.5.0.5-8zUIupsdf9az1JknTBeSo-ghc8.2.2.so()(64bit)
• libHSutf8-string-1.0.1.1-7sQ7eR5H5ED7poickls5aO-ghc8.2.2.so()(64bit)
• libHSvector-0.12.0.1-81HFvG2McTgAiNXCyGXulK-ghc8.2.2.so()(64bit)
• libHSzlib-0.6.2-7YwI9pUae6uDEuDsJgYPoD-ghc8.2.2.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libdl.so.2()(64bit)
• libffi.so.6()(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• libpthread.so.0()(64bit)
• librt.so.1()(64bit)
• libtinfo.so.6()(64bit)
• libutil.so.1()(64bit)
• libz.so.1()(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1
• rtld(GNU_HASH)

License

MIT and BSD

Changelog

* Thu Jul 19 2018 Jens Petersen <[email protected]> - 2.5.3-14
  - update to EdisonCore-1.3.2.1 and geniplate-mirror-0.7.6
  - revise .cabal file
* Thu Jul 12 2018 Fedora Release Engineering <[email protected]> - 2.5.3-13
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Feb 07 2018 Fedora Release Engineering <[email protected]> - 2.5.3-12
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Tue Jan 02 2018 Jens Petersen <[email protected]> - 2.5.3-11
  - update to 2.5.3
  - add uri-encode subpackage
* Tue Dec 26 2017 Jens Petersen <[email protected]> - 2.5.2-10
  - ieee754 is now a separate package
* Wed Nov 15 2017 Jens Petersen <[email protected]> - 2.5.2-9
  - gitrev is now packaged in Fedora
* Fri Nov 10 2017 Jens Petersen <[email protected]> - 2.5.2-8
  - geniplate-mirror-0.7.5
  - gitrev-1.3.1 (#1511680)
* Wed Aug 02 2017 Fedora Release Engineering <[email protected]> - 2.5.2-7.1
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering <[email protected]> - 2.5.2-6.1
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Sun Mar 12 2017 Jens Petersen <[email protected]> - 2.5.2-5
  - compile .agda files at buildtime
* Fri Mar 10 2017 Jens Petersen <[email protected]> - 2.5.2-4
  - update to 2.5.2
  - subpackage EdisonAPI, EdisonCore, gitrev, ieee754, monadplus, murmur-hash
* Fri Feb 10 2017 Fedora Release Engineering <[email protected]> - 2.4.2.5-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Feb 09 2017 Jens Petersen <[email protected]> - 2.4.2.5-2
  - build subpackage inside main package
* Thu Oct 06 2016 Jens Petersen <[email protected]> - 2.4.2.5-1
  - update to 2.4.2.5
  - subpackage new dep geniplate-mirror
* Wed Feb 03 2016 Fedora Release Engineering <[email protected]> - 2.4.2.2-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Jul 22 2015 Jens Petersen <[email protected]> - 2.4.2.2-5
  - drop emacs subpackages (#1234569)
* Tue Jun 16 2015 Fedora Release Engineering <[email protected]> - 2.4.2.2-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Fri Apr 17 2015 Jens Petersen <[email protected]> - 2.4.2.2-3
  - move agda from ghc-Agda-devel to ghc-Agda
* Thu Apr 16 2015 Jens Petersen <[email protected]> - 2.4.2.2-2
  - compile Primitive.agda at install time
* Fri Apr 03 2015 Jens Petersen <[email protected]> - 2.4.2.2-1
  - update to 2.4.2.2
* Fri Feb 06 2015 Jens Petersen <[email protected]> - 2.4.2-1
  - update to 2.4.2
  - needs new deps: STMonadTrans, boxes, data-hash, equivalence,
    and QuickCheck 2.7.5+
  - cblrpm refresh
* Fri Aug 15 2014 Fedora Release Engineering <[email protected]> - 2.3.2.2-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Fri Jun 06 2014 Fedora Release Engineering <[email protected]> - 2.3.2.2-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue Apr 22 2014 Jens Petersen <[email protected]> - 2.3.2.2-3
  - no _pkgdocdir in EL7
* Wed Jan 22 2014 Jens Petersen <[email protected]> - 2.3.2.2-2
  - exclude secondary arch's without template-haskell (#1038068)
* Thu Oct 31 2013 Jens Petersen <[email protected]> - 2.3.2.2-1
  - update to 2.3.2.2
* Mon Sep 02 2013 Jens Petersen <[email protected]> - 2.3.2.1-5
  - drop defattr's
* Thu Aug 29 2013 Jens Petersen <[email protected]> - 2.3.2.1-4
  - emacs agda-mode no longer depends on haskell-mode since 2.3.2
* Thu Aug 29 2013 Jens Petersen <[email protected]> - 2.3.2.1-3
  - compile agda2-queue.el
  - check for new elisp files
  - exclude armv7hl since TemplateHaskell failing to compile (#991929)
* Tue Aug 27 2013 Jens Petersen <[email protected]>
  - replace ghc_docdir by _pkgdocdir
* Fri Aug 02 2013 Fedora Release Engineering <[email protected]> - 2.3.2.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Fri Jul 26 2013 Jens Petersen <[email protected]>
  - use ghc_docdir
* Tue Jun 11 2013 Jens Petersen <[email protected]> - 2.3.2.1-1
  - rename src package from ghc-Agda to Agda
  - update to 2.3.2.1
    http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2
    http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2-1
  - update to new simplified Haskell Packaging Guidelines
  - agda command-line tool in devel subpackage
* Fri Jun 07 2013 Jens Petersen <[email protected]>
  - update to new simplified Haskell Packaging Guidelines
* Mon Mar 25 2013 Jens Petersen <[email protected]> - 2.3.0.1-12
  - rebuild
* Tue Mar 19 2013 Jens Petersen <[email protected]> - 2.3.0.1-11
  - allow haskeline-0.7
* Wed Feb 13 2013 Fedora Release Engineering <[email protected]> - 2.3.0.1-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Wed Dec 12 2012 Jens Petersen <[email protected]> - 2.3.0.1-9
  - update QuickCheck-2.5 patch following upstream 2.3.2
  - for epel6 redefine newer _emacs_bytecompile
  - own datadir correctly
* Fri Nov 09 2012 Jens Petersen <[email protected]> - 2.3.0.1-8
  - build with QuickCheck 2.5
* Thu Jul 19 2012 Fedora Release Engineering <[email protected]> - 2.3.0.1-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Mon Jul 16 2012 Jens Petersen <[email protected]> - 2.3.0.1-6
  - change prof BRs to devel
* Wed Jul 11 2012 Jens Petersen <[email protected]> - 2.3.0.1-5
  - fix agda2-version in agda2-mode.el
* Thu Jun 21 2012 Jens Petersen <[email protected]> - 2.3.0.1-4
  - upstream patch for building with haskell-src-exts-1.13
  - use new cabal-tweak-dep-ver script to change mtl and haskell-src-exts bounds
* Mon Jun 11 2012 Jens Petersen <[email protected]> - 2.3.0.1-3
  - allow building with mtl-2.1
* Thu May 31 2012 Jens Petersen <[email protected]> - 2.3.0.1-2
  - library license is also BSD (#710031)
  - move release notes to devel subpackage
* Tue Apr 10 2012 Jens Petersen <[email protected]> - 2.3.0.1-1
  - update to 2.3.0.1 for ghc-7.4.1
* Tue Feb 14 2012 Jens Petersen <[email protected]> - 2.3.0-1
  - update to 2.3.0
  - update to cabal2spec-0.25
  - new depends on hashtables
* Fri Jun 03 2011 Jens Petersen <[email protected]> - 2.2.10-2
  - also BR alex, happy, and emacs-haskell-mode
* Thu Jun 02 2011 Jens Petersen <[email protected]> - 2.2.10-1
  - MIT license
  - add deps and description
  - emacs mode subpackages
* Thu Jun 02 2011 Fedora Haskell SIG <[email protected]> - 2.2.10-0
  - initial packaging for Fedora automatically generated by cabal2spec-0.23

Files

/usr/bin/agda
/usr/lib/.build-id
/usr/lib/.build-id/73
/usr/lib/.build-id/73/ad37423a1b028b282948dc3c3c2db9bd640f49
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/748c61f366bfe61eea69f85576133841efa324
/usr/lib64/libHSAgda-2.5.3-4zGY0YR3fLO5U1da0wzVdW-ghc8.2.2.so
/usr/share/Agda-2.5.3
/usr/share/Agda-2.5.3/Agda.css
/usr/share/Agda-2.5.3/JS
/usr/share/Agda-2.5.3/JS/agda-rts.js
/usr/share/Agda-2.5.3/JS/biginteger.js
/usr/share/Agda-2.5.3/MAlonzo
/usr/share/Agda-2.5.3/MAlonzo/src
/usr/share/Agda-2.5.3/MAlonzo/src/MAlonzo
/usr/share/Agda-2.5.3/MAlonzo/src/MAlonzo/RTE.hs
/usr/share/Agda-2.5.3/agda.sty
/usr/share/Agda-2.5.3/lib
/usr/share/Agda-2.5.3/lib/prim
/usr/share/Agda-2.5.3/lib/prim/Agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Bool.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Bool.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Char.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Char.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Coinduction.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Coinduction.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Equality.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Equality.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Float.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Float.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/FromNat.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/FromNat.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/FromNeg.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/FromNeg.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/FromString.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/FromString.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/IO.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/IO.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Int.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Int.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/List.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/List.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Nat.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Nat.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Reflection.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Reflection.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Size.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Size.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Strict.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Strict.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/String.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/String.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/TrustMe.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/TrustMe.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Unit.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Builtin/Unit.agdai
/usr/share/Agda-2.5.3/lib/prim/Agda/Primitive.agda
/usr/share/Agda-2.5.3/lib/prim/Agda/Primitive.agdai
/usr/share/Agda-2.5.3/postprocess-latex.pl
/usr/share/licenses/ghc-Agda
/usr/share/licenses/ghc-Agda/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Dec 3 08:01:16 2024