[isabelle-dev] push request (Sublist.thy)
makarius at sketis.net
Mon Dec 17 16:39:35 CET 2012
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.)
More information about the isabelle-dev