http://code.haskell.org/Agda/repository-before-conversion-to-darcs-2-format
