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 E61E77ED25 for ; Mon, 22 Jul 2013 09:20:38 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of matthieu.dubuget@gmail.com) identity=pra; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="matthieu.dubuget@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of matthieu.dubuget@gmail.com designates 74.125.82.41 as permitted sender) identity=mailfrom; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="matthieu.dubuget@gmail.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@mail-wg0-f41.google.com) identity=helo; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="postmaster@mail-wg0-f41.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AscEAHbc7FFKfVIpk2dsb2JhbABagzyDEkeGFIJcAqZEjWgEAwEjaRYOAQEBAQcLCwkUBCSCHAkBBSMPAQUIARscAQEDDAYFCw8CBRYLAgIJAwIBAgEREQEFARwTAQcBAYVyggcBAw8EmX6MAE+Cf4N6ChknDWSHdAEFDIEcjm4Hgl0OgRMDl12GI4lFP4Q6 X-IPAS-Result: AscEAHbc7FFKfVIpk2dsb2JhbABagzyDEkeGFIJcAqZEjWgEAwEjaRYOAQEBAQcLCwkUBCSCHAkBBSMPAQUIARscAQEDDAYFCw8CBRYLAgIJAwIBAgEREQEFARwTAQcBAYVyggcBAw8EmX6MAE+Cf4N6ChknDWSHdAEFDIEcjm4Hgl0OgRMDl12GI4lFP4Q6 X-IronPort-AV: E=Sophos;i="4.89,717,1367964000"; d="scan'208";a="26827662" Received: from mail-wg0-f41.google.com ([74.125.82.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Jul 2013 09:20:38 +0200 Received: by mail-wg0-f41.google.com with SMTP id y10so2141648wgg.0 for ; Mon, 22 Jul 2013 00:20:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:cc:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=OumZP4iZOnosPiPglXpxAdmWf7hELsPrYUchlF4GzbM=; b=x8ao1IpnDnD83p0sB0WDXlkYgzMwPBwgwKZt5OU0H+DxjPN/Lp9+Jow/sGWGRQ9phY FyMv2bQf5tbWeAYmpvjdZWLiFfclRNIvDELZO1r7WrianoNkWLEcop6BUUEYEOZXJevb UlAthEe9QKPqyZ5ReMvL2GjEZ25DjXgDMcu/kZdw1qc2SVWrzi8ayfJ/Hi/5gayiLK7v fJkiJuUEG2V1KBuGu4iAQ/WKqlF/aLSXGg/yFxbVx/fJ+/EI05xZd3A5bDtcqGD7P/wg tMOuMclmLOPtWfPH7WTiJCg0TI3SaZx8c86diqUOsr7TN5MsRQ0alCGVkAuu8V2e17No Pn0A== X-Received: by 10.194.48.116 with SMTP id k20mr18957353wjn.23.1374477638542; Mon, 22 Jul 2013 00:20:38 -0700 (PDT) Received: from [172.17.1.30] (papillon.metalscan.fr. [178.22.148.54]) by mx.google.com with ESMTPSA id mb20sm50681449wic.1.2013.07.22.00.20.36 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 22 Jul 2013 00:20:37 -0700 (PDT) Message-ID: <51ECDD41.6060002@gmail.com> Date: Mon, 22 Jul 2013 09:20:33 +0200 From: Matthieu Dubuget User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130107 Thunderbird/17.0.2 MIME-Version: 1.0 CC: caml-list@inria.fr References: <383739793.214096184.1374254520546.JavaMail.root@zimbra27-e5.priv.proxad.net> In-Reply-To: <383739793.214096184.1374254520546.JavaMail.root@zimbra27-e5.priv.proxad.net> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] opam and godi godi can be used under Windows™. I did not succeed to install opam on a windows workstation. Note that I would prefer not having to use Windows Salutations -- Matthieu Dubuget