[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