Fedora 19 Update: darcs-2.8.4-1.fc19

[updates at fedoraproject.org]

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

Name        : darcs
Product     : Fedora 19
Version     : 2.8.4
Release     : 1.fc19
URL         : http://hackage.haskell.org/package/darcs
Summary     : Distributed Advanced Revision Control System
Description :
Darcs is a distributed, interactive, smart revision control system.
Darcs is easy to learn and efficient to use because it asks you questions
in response to simple commands, giving you choices in your workflow.
You can choose to record one change in a file, while ignoring another.
You can review each patch as you update from upstream.
Originally developed by physicist David Roundy,
darcs is based on a unique algebra of patches.

--------------------------------------------------------------------------------
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:

* Tue Mar 19 2013 Jens Petersen <petersen at redhat.com> - 2.8.4-1
- update to 2.8.4
- libcurl-devel no longer provides curl-devel
- disable haddock since it fails with ghc-7.4.2
--------------------------------------------------------------------------------
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 darcs' 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
--------------------------------------------------------------------------------