[ghc-Agda/el6] (6 commits) ...replace QuickCheck-2.5 patch with upstream conditional changes

[Jens Petersen]

Summary of changes:

  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 (*)

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