From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 995337FACE for ; Thu, 18 Sep 2014 15:33:17 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.91.157; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of darioteixeira@yahoo.com designates 98.138.91.157 as permitted sender) identity=mailfrom; client-ip=98.138.91.157; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm27-vm3.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.157; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm27-vm3.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlcDAJ3eGlRiiludjmdsb2JhbABgg2BTBAQIt3iHcYEviCqHUQGBDRYBEQEBAQEHCwsJEyuDfgYBAQMBCwEfFQEXIgQLBgVGLwEOAQYSBi6IDgEBAgkIBAStOQmDB4F9hzMBIwMBIwOHMhEGDAIBjzU6hEsFhFuGZYpFhDaCWIFZhWkdBxNkhiWEZXOEZUyCSgEBAQ X-IPAS-Result: AlcDAJ3eGlRiiludjmdsb2JhbABgg2BTBAQIt3iHcYEviCqHUQGBDRYBEQEBAQEHCwsJEyuDfgYBAQMBCwEfFQEXIgQLBgVGLwEOAQYSBi6IDgEBAgkIBAStOQmDB4F9hzMBIwMBIwOHMhEGDAIBjzU6hEsFhFuGZYpFhDaCWIFZhWkdBxNkhiWEZXOEZUyCSgEBAQ X-IronPort-AV: E=Sophos;i="5.04,547,1406584800"; d="scan'208";a="96448867" Received: from nm27-vm3.bullet.mail.ne1.yahoo.com ([98.138.91.157]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Sep 2014 15:33:16 +0200 Received: from [98.138.100.113] by nm27.bullet.mail.ne1.yahoo.com with NNFMP; 18 Sep 2014 13:33:14 -0000 Received: from [98.138.88.234] by tm104.bullet.mail.ne1.yahoo.com with NNFMP; 18 Sep 2014 13:33:14 -0000 Received: from [127.0.0.1] by omp1034.mail.ne1.yahoo.com with NNFMP; 18 Sep 2014 13:33:14 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 941026.36190.bm@omp1034.mail.ne1.yahoo.com Received: (qmail 41905 invoked by uid 60001); 18 Sep 2014 13:33:14 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1411047194; bh=EllG5YCVIboFbFF+8eFcLnbDYvGThZlbTHTOV4x+5R4=; h=References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=qSiNNLjJorw7Jp6a/T/B1iyjvqFNZdNd5S1af0MX0m6HupaX4Xz6aMkLNVmrXHhHcwhUbl2iWyFhEgI7nYbTm71AFfC/6FIMn71AM3Z8IW8JVj+8dKKviOwifp9Z7n3lv/qVRs+Zol6uXLGO4+MaFhAvioAWEiATqZl9ZqD8AgU= X-YMail-OSG: 95rts68VM1kJTWjUmkKn2abLyOtj.7b9DqbwOjJBJmwoOZu 89Mh7gIuCjH6IX40h3YRbRY5w5DU7IoV2UfRyI_cjnyFlNqbrRJS9v8oQ8G2 xzYCvc3e1Bw_IwkcVtDP55Dc1o_zUmxq76gotYQn0qX6xveU.5kepkLQEZFi fz1uLwIyV6OQjAe634JvLefEf8Yh_Y86VaBttIf41X12NEPRXsH9VYSqUx3W UaAYYTKna3KoWyp0e5CC5L3KtW.VFe6Lq24EQOkr3gHu5tGsxJaTR5scqAXW sxOXOKkrMRE9YB2XBQbQvclLYuLlEfZCeXARoK52Lfg7r2jyEh_Rp_EswEEr pkFxqkyN9.ILaDBJbwbpMGsrdKfRRofbiRf.iOsklTdxQN0q4ng_Q45v.l8n fZHClifX_TPO0YMDorKsMZu_CZwU.mIj62q8UgjjluHXOz9Zh3NaC2x9mxGe zmioMNMsBRWTAZwNUk6TqJ1gUjDwVPHF3spAQW9_yBg1yiC8YpMk3x_m.CiI Gk82Lt_p5XGi8R4J0UIWwMwA0tBbJ12pIsCVM5GmWFIvlIUtXtokqBSacfrg 54OJIf908YVBw5LR8PEm2uO8DTGW5nRCh12PcDsjR0mboLBuc3sdTJoiJOnB YR_D3AA-- Received: from [93.108.119.151] by web121704.mail.ne1.yahoo.com via HTTP; Thu, 18 Sep 2014 06:33:14 PDT X-Rocket-MIMEInfo: 002.001,SGkgYWdhaW4sCgo.IEFuZCB5ZXMsIExhbWJkb2MgMS4wLWJldGExIGlzIGFscmVhZHkgYXZhaWxhYmxlIG9uIE9QQU0uCgpJbiB0aGUgbWVhbnRpbWUsIFTDtnLDtmsgRWR3aW4gaGFzIGJyb3VnaHQgdG8gbXkgYXR0ZW50aW9uIHRoYXQgZHVlCnRvIGEgdmVyc2lvbiBjb25mbGljdCwgaXQgaXMgaW1wb3NzaWJsZSB0byBzaW11bHRhbmVvdXNseSBpbnN0YWxsClR5eG1sID49IDMuMiBhbmQgT2NzaWdlbnNlcnZlciwgYXMgcmVxdWlyZWQgYnkgTGFtYmRvYy4KClRoZSBlYXNpZXN0IHNvbHV0aW9uIGZvciBub3cBMAEBAQE- X-Mailer: YahooMailWebService/0.8.203.696 References: <1411038410.99323.YahooMailNeo@web121706.mail.ne1.yahoo.com> Message-ID: <1411047194.26188.YahooMailNeo@web121704.mail.ne1.yahoo.com> Date: Thu, 18 Sep 2014 06:33:14 -0700 From: Dario Teixeira Reply-To: Dario Teixeira To: OCaml mailing-list In-Reply-To: <1411038410.99323.YahooMailNeo@web121706.mail.ne1.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] [ANN] Lambdoc 1.0-beta1 Hi again, > And yes, Lambdoc 1.0-beta1 is already available on OPAM. In the meantime, T=F6r=F6k Edwin has brought to my attention that due to a version conflict, it is impossible to simultaneously install Tyxml >=3D 3.2 and Ocsigenserver, as required by Lambdoc. The easiest solution for now is to install the dev versions of the Ocsigen packages, available via the Ocsigen OPAM repo. Please consult http://ocsigen.org/install for instructions. Sorry for the inconvenience this may cause! Best regards, Dario Teixeira