[isabelle-dev] push request (Sublist.thy)

Makarius 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 mailing list