[ghc-Agda/f17] (15 commits) ...rebase to current f18+ package to build for all secondary archs

[Jens Petersen]

Summary of changes:

  76b37ac... allow building with mtl-2.1 (*)
  d576a11... add Agda-2.3.0.1-mtl-2.1.patch (*)
  82cd1ad... rebuild (*)
  93e3504... allow building with haskell-src-exts-1.13 (*)
  ccf62a3... build with haskell-src-exts-1.13 using cabal-tweak-dep-ver  (*)
  8d12d8f... fix agda2-version in agda2-mode.el (*)
  eaadd4a... fix agda2-mode.el agda2-version properly with %version (*)
  6b0abd3... change prof BRs to devel (*)
  697f3a1... - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass (*)
  d800aa5... build with QuickCheck 2.5 (*)
  f907981... conditionalize QuickCheck-2.5 patch, redefine _emacs_byteco (*)
  74afb58... own datadir correctly (*)
  24d3451... protect %if > comparison with 0 (*)
  66b64d3... replace QuickCheck-2.5 patch with upstream conditional chan (*)
  fe5dde0... rebase to current f18+ package to build for all secondary a

(*) This commit already existed in another branch; no separate mail sent