[Agda/f18] (2 commits) ...remove ExclusiveArch ghc_arches_with_ghci
Jens Petersen
petersen at fedoraproject.org
Thu Dec 13 06:19:06 UTC 2012
Summary of changes:
1e1c6bd... rebuild (*)
9e1a47c... remove ExclusiveArch ghc_arches_with_ghci (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list