On 2010-04-02 12:09, James Chapman wrote: >> Darin introduced a dependency on recent versions of Cabal in his work on >> Cabal support for Agda. > > Is it possible to turn this off temporarily? You could try the following command: darcs obliterate --match='author dwm at cs.nott.ac.uk' -- /NAD