Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-EdisonAPI-devel-1.3.1-14.el8 RPM for aarch64

From EPEL 8 for aarch64 / Packages / g

Name: ghc-EdisonAPI-devel Distribution: Fedora Project
Version: 1.3.1 Vendor: Fedora Project
Release: 14.el8 Build date: Wed Sep 7 21:58:01 2022
Group: Unspecified Build host: buildhw-a64-21.iad2.fedoraproject.org
Size: 3390222 Source RPM: Agda-2.5.3-14.el8.src.rpm
Packager: Fedora Project
Url: https://hackage.haskell.org/package/Agda
Summary: Haskell EdisonAPI library development files
 
This package provides the Haskell EdisonAPI library development files.

Provides

Requires

License

MIT and BSD

Changelog

* Thu Jul 19 2018 Jens Petersen <petersen@redhat.com> - 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 <releng@fedoraproject.org> - 2.5.3-13
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.3-12
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Tue Jan 02 2018 Jens Petersen <petersen@redhat.com> - 2.5.3-11
  - update to 2.5.3
  - add uri-encode subpackage
* Tue Dec 26 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-10
  - ieee754 is now a separate package
* Wed Nov 15 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-9
  - gitrev is now packaged in Fedora
* Fri Nov 10 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-8
  - geniplate-mirror-0.7.5
  - gitrev-1.3.1 (#1511680)
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.2-7.1
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.2-6.1
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-5
  - compile .agda files at buildtime
* Fri Mar 10 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-4
  - update to 2.5.2
  - subpackage EdisonAPI, EdisonCore, gitrev, ieee754, monadplus, murmur-hash
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.5-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Feb 09 2017 Jens Petersen <petersen@redhat.com> - 2.4.2.5-2
  - build subpackage inside main package
* Thu Oct 06 2016 Jens Petersen <petersen@redhat.com> - 2.4.2.5-1
  - update to 2.4.2.5
  - subpackage new dep geniplate-mirror
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.2-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Jul 22 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-5
  - drop emacs subpackages (#1234569)
* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.2.2-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Fri Apr 17 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-3
  - move agda from ghc-Agda-devel to ghc-Agda
* Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-2
  - compile Primitive.agda at install time
* Fri Apr 03 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-1
  - update to 2.4.2.2
* Fri Feb 06 2015 Jens Petersen <petersen@redhat.com> - 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 <rel-eng@lists.fedoraproject.org> - 2.3.2.2-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue Apr 22 2014 Jens Petersen <petersen@redhat.com> - 2.3.2.2-3
  - no _pkgdocdir in EL7
* Wed Jan 22 2014 Jens Petersen <petersen@redhat.com> - 2.3.2.2-2
  - exclude secondary arch's without template-haskell (#1038068)
* Thu Oct 31 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.2-1
  - update to 2.3.2.2
* Mon Sep 02 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-5
  - drop defattr's
* Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-4
  - emacs agda-mode no longer depends on haskell-mode since 2.3.2
* Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 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 <petersen@redhat.com>
  - replace ghc_docdir by _pkgdocdir
* Fri Aug 02 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Fri Jul 26 2013 Jens Petersen <petersen@redhat.com>
  - use ghc_docdir
* Tue Jun 11 2013 Jens Petersen <petersen@redhat.com> - 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 <petersen@redhat.com>
  - update to new simplified Haskell Packaging Guidelines
* Mon Mar 25 2013 Jens Petersen <petersen@redhat.com> - 2.3.0.1-12
  - rebuild
* Tue Mar 19 2013 Jens Petersen <petersen@redhat.com> - 2.3.0.1-11
  - allow haskeline-0.7
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Wed Dec 12 2012 Jens Petersen <petersen@redhat.com> - 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 <petersen@redhat.com> - 2.3.0.1-8
  - build with QuickCheck 2.5
* Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Mon Jul 16 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-6
  - change prof BRs to devel
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-5
  - fix agda2-version in agda2-mode.el
* Thu Jun 21 2012 Jens Petersen <petersen@redhat.com> - 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 <petersen@redhat.com> - 2.3.0.1-3
  - allow building with mtl-2.1
* Thu May 31 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-2
  - library license is also BSD (#710031)
  - move release notes to devel subpackage
* Tue Apr 10 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-1
  - update to 2.3.0.1 for ghc-7.4.1
* Tue Feb 14 2012 Jens Petersen <petersen@redhat.com> - 2.3.0-1
  - update to 2.3.0
  - update to cabal2spec-0.25
  - new depends on hashtables
* Fri Jun 03 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-2
  - also BR alex, happy, and emacs-haskell-mode
* Thu Jun 02 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-1
  - MIT license
  - add deps and description
  - emacs mode subpackages
* Thu Jun 02 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - 2.2.10-0
  - initial packaging for Fedora automatically generated by cabal2spec-0.23

Files

/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison.dyn_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison.hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison.p_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Assoc.dyn_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Assoc.hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Assoc.p_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Coll
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Coll.dyn_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Coll.hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Coll.p_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Coll/Utils.dyn_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Coll/Utils.hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Coll/Utils.p_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Prelude.dyn_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Prelude.hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Prelude.p_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Seq
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Seq.dyn_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Seq.hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Seq.p_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Seq/ListSeq.dyn_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Seq/ListSeq.hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Seq/ListSeq.p_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Sym.dyn_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Sym.hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/Data/Edison/Sym.p_hi
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/libHSEdisonAPI-1.3.1-IaG6hy9pPqn2w7z99RdxUC.a
/usr/lib64/ghc-8.2.2/EdisonAPI-1.3.1/libHSEdisonAPI-1.3.1-IaG6hy9pPqn2w7z99RdxUC_p.a
/usr/lib64/ghc-8.2.2/package.conf.d/EdisonAPI-1.3.1.conf
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/Data-Edison-Assoc.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/Data-Edison-Coll-Utils.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/Data-Edison-Coll.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/Data-Edison-Prelude.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/Data-Edison-Seq-ListSeq.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/Data-Edison-Seq.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/Data-Edison-Sym.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/Data-Edison.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/EdisonAPI.haddock
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/EdisonAPI.txt
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-124.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-33.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-43.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-47.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-60.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-92.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-A.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-All.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-C.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-D.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-E.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-F.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-H.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-I.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-K.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-L.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-M.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-N.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-O.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-P.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-R.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-S.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-T.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-U.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index-Z.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/doc-index.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/haddock-util.js
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/hslogo-16.png
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/index.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/minus.gif
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/ocean.css
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/plus.gif
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/src
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/src/Data-Edison-Assoc.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/src/Data-Edison-Coll-Utils.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/src/Data-Edison-Coll.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/src/Data-Edison-Prelude.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/src/Data-Edison-Seq-ListSeq.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/src/Data-Edison-Seq.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/src/Data-Edison-Sym.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/src/Data-Edison.html
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/src/hscolour.css
/usr/share/doc/ghc/html/libraries/EdisonAPI-1.3.1/synopsis.png

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Oct 20 03:19:36 2025