ghc-Agda-2.3.2.2-5.el7 RPM for x86_64

From EPEL 7 for x86_64 / Packages / g

This package provides the Haskell Agda shared library.

Provides

• ghc-Agda
• ghc(Agda-2.3.2.2-52a688c2ecc2e1800d6ecb31737ebc4a)
• ghc-Agda(x86-64)
• libHSAgda-2.3.2.2-ghc7.6.3.so()(64bit)

Requires

• ghc(QuickCheck-2.6-409fcc32c191cd6e04afdebb15869820)
• ghc(array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3)
• ghc(base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57)
• ghc(binary-0.5.1.1-72ed744c57c32286a49da6dda4f660b7)
• ghc(bytestring-0.10.0.2-4f93248f75667c2c3321a7a6761b576f)
• ghc(containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2)
• ghc(deepseq-1.3.0.1-5cc4cd89bdc2e8f6db1833d95ec36926)
• ghc(directory-1.2.0.1-91a788fd88acd7f149f0f10f5f1e23f2)
• ghc(filepath-1.3.0.1-b12cbe18566fe1532a1fda4c85e31cbe)
• ghc(geniplate-0.6.0.3-3e00a8c32944d07bd01bf9f516a82c9f)
• ghc(hashable-1.1.2.5-e0f2541518f84d3123a819112b4ffe20)
• ghc(hashtables-1.0.1.8-5c2e4e88deafeef23cb7e760fce1f340)
• ghc(haskeline-0.7.0.3-605bae79a8f13adb80fd401c73428585)
• ghc(haskell-src-exts-1.13.5-8510a7f664a9c4ad91759ab10fd54800)
• ghc(mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62)
• ghc(parallel-3.2.0.3-d6c020cb3aa15c71f5f29c0db359fd39)
• ghc(pretty-1.1.1.0-66181c695e6a2e173ba2088cf55cc396)
• ghc(process-1.1.0.2-76e05340eb66705981411022731ca84a)
• ghc(text-0.11.3.1-e38859e86485c167fa7c9441789e7607)
• ghc(time-1.4.0.1-10dc4804a19dc0000fab79908f1a9f50)
• ghc(unordered-containers-0.2.3.0-c7952fe8bed178bdf8ed4d090730c9da)
• ghc(xhtml-3000.2.1-22b747149ac820f9574f57533a3d58fc)
• ghc(zlib-0.5.4.1-13ba81ac0d7e6f3bdf1ee5ddce4e9aab)
• libHSQuickCheck-2.6-ghc7.6.3.so()(64bit)
• libHSarray-0.4.0.1-ghc7.6.3.so()(64bit)
• libHSbase-4.6.0.1-ghc7.6.3.so()(64bit)
• libHSbinary-0.5.1.1-ghc7.6.3.so()(64bit)
• libHSbytestring-0.10.0.2-ghc7.6.3.so()(64bit)
• libHScontainers-0.5.0.0-ghc7.6.3.so()(64bit)
• libHScpphs-1.16-ghc7.6.3.so()(64bit)
• libHSdeepseq-1.3.0.1-ghc7.6.3.so()(64bit)
• libHSdirectory-1.2.0.1-ghc7.6.3.so()(64bit)
• libHSfilepath-1.3.0.1-ghc7.6.3.so()(64bit)
• libHSgeniplate-0.6.0.3-ghc7.6.3.so()(64bit)
• libHSghc-prim-0.3.0.0-ghc7.6.3.so()(64bit)
• libHShashable-1.1.2.5-ghc7.6.3.so()(64bit)
• libHShashtables-1.0.1.8-ghc7.6.3.so()(64bit)
• libHShaskeline-0.7.0.3-ghc7.6.3.so()(64bit)
• libHShaskell-src-exts-1.13.5-ghc7.6.3.so()(64bit)
• libHSinteger-gmp-0.5.0.0-ghc7.6.3.so()(64bit)
• libHSmtl-2.1.2-ghc7.6.3.so()(64bit)
• libHSold-locale-1.0.0.5-ghc7.6.3.so()(64bit)
• libHSold-time-1.1.0.1-ghc7.6.3.so()(64bit)
• libHSparallel-3.2.0.3-ghc7.6.3.so()(64bit)
• libHSpretty-1.1.1.0-ghc7.6.3.so()(64bit)
• libHSprimitive-0.5.0.1-ghc7.6.3.so()(64bit)
• libHSprocess-1.1.0.2-ghc7.6.3.so()(64bit)
• libHSrandom-1.0.1.1-ghc7.6.3.so()(64bit)
• libHStemplate-haskell-2.8.0.0-ghc7.6.3.so()(64bit)
• libHSterminfo-0.3.2.5-ghc7.6.3.so()(64bit)
• libHStext-0.11.3.1-ghc7.6.3.so()(64bit)
• libHStime-1.4.0.1-ghc7.6.3.so()(64bit)
• libHStransformers-0.3.0.0-ghc7.6.3.so()(64bit)
• libHSunix-2.6.0.1-ghc7.6.3.so()(64bit)
• libHSunordered-containers-0.2.3.0-ghc7.6.3.so()(64bit)
• libHSvector-0.10.0.1-ghc7.6.3.so()(64bit)
• libHSxhtml-3000.2.1-ghc7.6.3.so()(64bit)
• libHSzlib-0.5.4.1-ghc7.6.3.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libdl.so.2()(64bit)
• libgmp.so.10()(64bit)
• libncursesw.so.5()(64bit)
• libpthread.so.0()(64bit)
• librt.so.1()(64bit)
• libtinfo.so.5()(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
• rtld(GNU_HASH)
• rpmlib(PayloadIsXz) <= 5.2-1

License

MIT and BSD

Changelog

* 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-7.6.3/Agda-2.3.2.2
/usr/lib64/ghc-7.6.3/Agda-2.3.2.2/libHSAgda-2.3.2.2-ghc7.6.3.so
/usr/share/Agda-2.3.2.2
/usr/share/Agda-2.3.2.2/Agda.css
/usr/share/Agda-2.3.2.2/agda.sty
/usr/share/doc/ghc-Agda-2.3.2.2
/usr/share/doc/ghc-Agda-2.3.2.2/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Apr 20 01:59:59 2024