From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 30B08BC57 for ; Tue, 2 Nov 2010 11:44:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AikBANeHz0zRVda0kGdsb2JhbACDHp5ACBUBAQEBCQkMBxEDH4gknBWJIDyCF4V1LohXAQEDBYEdgzBzBIpV X-IronPort-AV: E=Sophos;i="4.58,281,1286143200"; d="scan'208";a="64703832" Received: from mail-iw0-f180.google.com ([209.85.214.180]) by mail3-smtp-sop.national.inria.fr with ESMTP; 02 Nov 2010 11:44:00 +0100 Received: by iwn37 with SMTP id 37so7935405iwn.39 for ; Tue, 02 Nov 2010 03:44:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:mime-version:received:in-reply-to :references:from:date:message-id:subject:to:content-type; bh=ctic/PJhfyPgf7//HdCnXyDyrz5KZZq2nf9i2YhTpiA=; b=aOHryvDW8CW+HEjCHkMGc+G8m1V/2wqqTZtMu8/FjOdWbM3akrdMaTI0O86o90zAbf 2WiJEgIoHA+MhHtTVkL3aj+zd0Nv+eNqRkkxUt65PVNdRJ3vkXA6TOXPTTYcu1vcgauu bSkm8ARi3XvYDIWssVY2zmAcMDVqC06jFaHRY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; b=dS5asGmBq3Z+GsmeC4A0u5lZDAgHVGhkPOwaWKVyR0ZoQvIHc5GPOp8O7GYVMWhXeT a8pyXe6FqWwoCwueYVXjesfWv/xRT4QHuOI2z6cR3QVkckOSa2VqQmKra6uZucRvPNIG BqtuXklN4ZRTiXNt5J1SL7UYICCqAgaCBmC0M= Received: by 10.42.226.196 with SMTP id ix4mr182455icb.137.1288694639980; Tue, 02 Nov 2010 03:43:59 -0700 (PDT) MIME-Version: 1.0 Received: by 10.220.176.67 with HTTP; Tue, 2 Nov 2010 03:43:39 -0700 (PDT) In-Reply-To: <201011021137.27579.raphlalou@gmail.com> References: <201011021137.27579.raphlalou@gmail.com> From: Paolo Donadeo Date: Tue, 2 Nov 2010 11:43:39 +0100 Message-ID: Subject: Re: [Caml-list] OASIS installer bug To: OCaml mailing list Content-Type: text/plain; charset=UTF-8 X-Spam: no; 0.00; bug:01 bug:01 caml-list:01 func:01 installer:03 workaround:03 fix:05 group:07 release:09 php:87 think:13 aid:84 tracker:17 there:18 sylvain:22 There is an open bug here, along with a dirty workaround: http://forge.ocamlcore.org/tracker/index.php?func=detail&aid=784&group_id=54&atid=291 I think Sylvain will fix it in the next release. -- Paolo