[ghc-Agda/f18] (5 commits) ...replace QuickCheck-2.5 patch with upstream conditional changes
Jens Petersen
petersen at fedoraproject.org
Thu Dec 13 04:57:30 UTC 2012
Summary of changes:
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
More information about the scm-commits
mailing list