[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Coq ne compile plus avec ocaml 3.08.1



> Thanks. geneweb is already built on most arches, except : arm, m68k, mips and
> mipsel. That said, you uploaded with urgency low, which would mean that you
> won't make the deadline, you should have done it with urgency=medium, but i


As we discussed on IRC, I indeed uploaded with urgency=high, so no
problem as vorlon confirmed.




Reply to: