[Agda] 64-bit agda

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Sat Apr 3 10:31:29 CEST 2010


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


More information about the Agda mailing list