| -----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----- |