Hi all, Currently Agda doesn't build with ghc 6.12 for the simple reason that it requires base-4.1.*. I changed the .cabal file to allow base-4.2.* as well and it built just fine for me with the current release candidate of ghc 6.12.1. Maybe this is old news but I thought the report might be useful. -Brent