Fedora 19 Update: Agda-2.3.2.1-5.fc19

[updates at fedoraproject.org]

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

Name        : Agda
Product     : Fedora 19
Version     : 2.3.2.1
Release     : 5.fc19
URL         : http://hackage.haskell.org/package/Agda
Summary     : A dependently typed functional programming language and proof assistant
Description :
Agda is a dependently typed functional programming language: it has
inductive families, which are similar to Haskell's GADTs, but they can
be indexed by values and not just types. It also has parameterized
modules, mixfix operators, Unicode characters, and an interactive
Emacs interface (the type checker can assist in the development of your code).

Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory,
a foundational system for constructive mathematics developed by
the Swedish logician Per Martin-Löf. It has many similarities with other
proof assistants based on dependent types, such as Coq, Epigram and NuPRL.

--------------------------------------------------------------------------------
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 Sep  2 2013 Jens Petersen <petersen at redhat.com> - 2.3.2.1-5
- drop defattr's
* Thu Aug 29 2013 Jens Petersen <petersen at 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 at 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 at redhat.com>
- replace ghc_docdir by _pkgdocdir
* Fri Aug  2 2013 Fedora Release Engineering <rel-eng at 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 at redhat.com>
- use ghc_docdir
* Tue Jun 11 2013 Jens Petersen <petersen at 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  7 2013 Jens Petersen <petersen at redhat.com>
- update to new simplified Haskell Packaging Guidelines
* Mon Mar 25 2013 Jens Petersen <petersen at redhat.com> - 2.3.0.1-12
- rebuild
* Tue Mar 19 2013 Jens Petersen <petersen at redhat.com> - 2.3.0.1-11
- allow haskeline-0.7
--------------------------------------------------------------------------------
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 Agda' 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
--------------------------------------------------------------------------------