On 2010-04-01 18:13, James Chapman wrote: > Does the development version of Agda require ghc 6.12? Darin introduced a dependency on recent versions of Cabal in his work on Cabal support for Agda. -- /NAD