[ghc-Agda/f17: 15/15] rebase to current f18+ package to build for all secondary archs

[Jens Petersen]

commit fe5dde0a78b4f0cccff3a520a01f8a751e2e27a5
Merge: 7200578 66b64d3
Author: Jens Petersen <petersen at redhat.com>
Date:   Thu Dec 13 14:50:18 2012 +0900

    rebase to current f18+ package to build for all secondary archs

 Agda-2.3.0.1-QuickCheck-2.5.patch   |   19 +++++++
 Agda-2.3.0.1-haskell-src-exts.patch |   19 +++++++
 ghc-Agda.spec                       |   92 ++++++++++++++++++++++++-----------
 3 files changed, 102 insertions(+), 28 deletions(-)
---