Stéphane Glondu a écrit : > nmu 1 matita_0.5.8-2 . alpha armel hppa ia64 mips mipsel s390 . -m 'Recompile > with OCaml 3.11.2'
This one failed everywhere because of a bug in ocaml-expat (#569267) and gmetadom (#569391). Please reschedule: nmu 1 matita_0.5.8-2 . alpha armel hppa ia64 mips mipsel s390 . -m 'Recompile with OCaml 3.11.2' dw matita_0.5.8-2 . alpha armel hppa ia64 mips mipsel s390 . -m 'libexpat-ocaml-dev (>= 0.9.1+debian1-7), libgdome2-ocaml-dev (>= 0.2.6-5)' Thanks in advance, -- Stéphane -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

