[darcs-devel] [issue915] pull hangs (2.0.0)

[Andreas Abel]

New submission from Andreas Abel <andreas.abel at ifi.lmu.de>:

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

----------
messages: 4976
nosy: andreas.abel, beschmi, dagit, tommy
status: unread
title: pull hangs (2.0.0)

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue915>
__________________________________