On 19-05-2008, Stefano Zacchiroli <[EMAIL PROTECTED]> wrote: > > --EeQfGwPcQSOJBaQU > Content-Type: text/plain; charset=us-ascii > Content-Disposition: inline > Content-Transfer-Encoding: quoted-printable > > On Mon, May 19, 2008 at 12:00:56PM +0200, Stefano Zacchiroli wrote: >> ... and here we go with the first transition problem (quite early :( ). >> http://buildd.debian.org/fetch.cgi?pkg=3Docaml;ver=3D3.10.2-2;arch=3Darm;= > stamp=3D1211163665 > > With Ralf, we have just checked that on armel the build was fine. > > Given that arm is doomed to be removed from Debian after the release of > Lenny (and replaced by armel), we also have the possibility of doing a > manual binary upload of OCaml on arm using gcc-4.2 >
+1 I think it will allow us to continue the transition and probably won't break OCaml ABI. Regards, Sylvain Le Gall -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
