-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Sorry, I could not send the repo (>50 MB) by email.
It will be available under
http://www.tcs.ifi.lmu.de/~abel/Agda2-local-repo.tgz
in a couple of hours.
Cheers,
Andreas
Andreas Abel wrote:
> Hi,
>
> if you unpack the enclosed repository and do a
>
> darcs pull
>
> and say "y" for at least the first patch which is described as
>
> Sat May 31 21:42:29 CEST 2008 Nils Anders Danielsson
> <nils.anders.danielsson@gmail.com>
> * Improved the precedence graph interface.
> ...
>
> then darcs loops. This happened with version 1.1.0pre. Then I upgraded
> to 2.0.0, but no change in behavior.
>
> What can be done about it?
>
> Cheers,
> Andreas
>
>
- --
Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich
http://www.tcs.informatik.uni-muenchen.de/~abel/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFIR6eiPMHaDxpUpLMRAvCaAKDgxosq1Q5f3fexhYUjqSoJzqEJ5QCbBAkg
Nu+kDVGpYsAVelPuZtvpODE=
=VHNX
-----END PGP SIGNATURE-----
|