[Agda] Conversion of repositories to darcs 2 format

[Nils Anders Danielsson]

Hi,

I will soon convert the darcs repositories for Agda and the standard
library to the darcs 2 format, which has some advantages as compared to
the old one. After conversion you will have to delete any copies of the
repositories that you have lying around (unless you want to keep them as
some form of memento, I suppose), and replace them with fresh copies.
This should be fairly unproblematic:

* Because of the recent release (and shorter release cycle) there is
  little need to use the development version of Agda now, so many people
  may be completely unaffected.

* Version 2 of the darcs program has to be used to interact with the
  converted repository, but this version was released a long time ago,
  so I expect that most people using darcs already have it installed.

HOWEVER: Conversion has to be done all at once, so if anyone is sitting
on lots of patches which have not been submitted yet, they should be
submitted right away. After conversion it will be much trickier to apply
these patches.

-- 
/NAD

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.