Fedora 19 Update: ghc-haskeline-0.7.0.3-1.fc19

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2013-15090
2013-08-20 22:23:12
--------------------------------------------------------------------------------

Name        : ghc-haskeline
Product     : Fedora 19
Version     : 0.7.0.3
Release     : 1.fc19
URL         : http://hackage.haskell.org/package/haskeline
Summary     : Haskell command-line interface for user input
Description :
Haskeline provides a user interface for line input in command-line programs.
This library is similar in purpose to readline, but since it is written in
Haskell it is (hopefully) more easily used in other Haskell programs.

Haskeline runs both on POSIX-compatible systems and on Windows.

--------------------------------------------------------------------------------
Update Information:

- new package idris (http://www.idris-lang.org/) requires haskeline-0.7
- update hledger to 0.19.3
- update darcs to 2.8.4
- update Agda to 2.3.2.1
--------------------------------------------------------------------------------
ChangeLog:

* Mon Mar 11 2013 Jens Petersen <petersen at redhat.com> - 0.7.0.3-1
- update to 0.7.0.3
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #947819 - Review Request: idris - Functional Programming Language with Dependent Types
        https://bugzilla.redhat.com/show_bug.cgi?id=947819
  [ 2 ] Bug #909140 - darcs-2.8.4 is available
        https://bugzilla.redhat.com/show_bug.cgi?id=909140
  [ 3 ] Bug #892566 - Agda-2.3.2.1 is available
        https://bugzilla.redhat.com/show_bug.cgi?id=892566
  [ 4 ] Bug #892588 - ghc-haskeline-0.7.0.3 is available
        https://bugzilla.redhat.com/show_bug.cgi?id=892588
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update ghc-haskeline' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------