[ol8_developer_EPEL] ghc-Agda-2.5.3-14.el8.x86_64

This package provides the Haskell Agda shared library.

Changelog (Show File list) (Show related packages)

• 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