On Mon, 17 Dec 2012, Makarius wrote:
Ubuntu 12.10 (Linux kernel 3.5.0-20-generic, 64 bit).
Just empirically, I see at the moment a correlation of "Debian/Ubuntu + patch
queue" with repository meltdown: Dmitriy, Alex, Johannes.
https://launchpad.net/ubuntu/+source/mercurial/2.0.2-1ubuntu1 looks fine
to me, so the hypothesis "broken due to Debianism" cannot be held up.
(This occasionally happens, but not here as it seems.)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
