From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0D92B7EE6B for ; Tue, 26 Nov 2013 10:36:29 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ygrek@autistici.org) identity=pra; client-ip=82.94.249.234; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ygrek@autistici.org"; x-sender="ygrek@autistici.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ygrek@autistici.org designates 82.94.249.234 as permitted sender) identity=mailfrom; client-ip=82.94.249.234; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ygrek@autistici.org"; x-sender="ygrek@autistici.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@latitanza.investici.org designates 82.94.249.234 as permitted sender) identity=helo; client-ip=82.94.249.234; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ygrek@autistici.org"; x-sender="postmaster@latitanza.investici.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjICAANrlFJSXvnqnGdsb2JhbABZwCeBKRYOAQEBAQEICwkJFCiCJQEBBAE6BgEBOAQLCwkYJQ9IGYd7Cq0ahFIBBY0xEQaOfRaEHYlDhXmIWgGGRI8C X-IPAS-Result: AjICAANrlFJSXvnqnGdsb2JhbABZwCeBKRYOAQEBAQEICwkJFCiCJQEBBAE6BgEBOAQLCwkYJQ9IGYd7Cq0ahFIBBY0xEQaOfRaEHYlDhXmIWgGGRI8C X-IronPort-AV: E=Sophos;i="4.93,773,1378850400"; d="scan'208";a="45438276" Received: from latitanza.investici.org ([82.94.249.234]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 26 Nov 2013 10:36:28 +0100 Received: from [82.94.249.234] (latitanza [82.94.249.234]) (Authenticated sender: ygrek@autistici.org) by localhost (Postfix) with ESMTPSA id 281C4980EC for ; Tue, 26 Nov 2013 09:36:23 +0000 (UTC) X-DKIM: OpenDKIM Filter v2.6.8 latitanza.investici.org 281C4980EC DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=autistici.org; s=stigmate; t=1385458585; bh=Mh2Tip7AaRDPpImDL5rRXWYyZszcHVER3qcmk9/xlqg=; h=Date:From:To:Subject:In-Reply-To:References; b=ZIGRZ52y9u4m/9i8Xu2HV5kXnudwk11lcgedRQ/hRBJtP7av1Z8go+mPPK9zuy2uB WnRr/pKHwuX9eKeEvKSdQPpAHxlLdnzOV+kzFHhP0EnZ9xR4wInuwMUbrOkE0MBP2c /UE9Z1d1N0sbveQNPPUFQ/Dn8uh7DdQHRKkeMwy0= Date: Tue, 26 Nov 2013 17:36:18 +0800 From: ygrek To: caml-list@inria.fr Message-ID: <20131126173618.2d0febdb@kiwi.local.tld> In-Reply-To: <20131125191546.08a22f18@kiwi.local.tld> References: <20131125031021.384845a8@kiwi.local.tld> <20131125191546.08a22f18@kiwi.local.tld> X-Mailer: Claws Mail 3.9.2 (GTK+ 2.24.10; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] extlib 1.6.0 released On Mon, 25 Nov 2013 19:15:46 +0800 ygrek wrote: > The new approach (implemented in svn) is to include offending modules conditionally during extlib build > time, so that extlib without UChar module can be easily integrated into codebases that don't depend on UChar, This has now gone final with extlib-1.6.1 The opam package names will be extlib (reduced) and extlib-compat (full) --