From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ivg@ieee.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id C666B81792
	for <caml-list@sympa.inria.fr>; Wed, 19 Jun 2013 18:54:05 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  ivg@ieee.org) identity=pra; client-ip=74.125.149.145;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  ivg@ieee.org designates 74.125.149.145 as permitted sender)
  identity=mailfrom; client-ip=74.125.149.145;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@na3sys009aog121.obsmtp.com) identity=helo;
  client-ip=74.125.149.145;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ivg@ieee.org";
  x-sender="postmaster@na3sys009aog121.obsmtp.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhUBAELhwVFKfZWRnGdsb2JhbABagzu/Y4EWDgEBAQEBBg0JCRQogiQBBQ8BaRALRjQBBQEcBoghBJ4liwoBAZIwjw8zB4MAYQOJGo4nhiGJPj+EOg
X-IPAS-Result: AhUBAELhwVFKfZWRnGdsb2JhbABagzu/Y4EWDgEBAQEBBg0JCRQogiQBBQ8BaRALRjQBBQEcBoghBJ4liwoBAZIwjw8zB4MAYQOJGo4nhiGJPj+EOg
X-IronPort-AV: E=Sophos;i="4.87,898,1363129200"; 
   d="scan'208";a="18325905"
Received: from na3sys009aog121.obsmtp.com ([74.125.149.145])
  by mail3-smtp-sop.national.inria.fr with SMTP; 19 Jun 2013 18:54:04 +0200
Received: from mail-lb0-f176.google.com ([209.85.217.176]) (using TLSv1) by na3sys009aob121.postini.com ([74.125.148.12]) with SMTP
	ID DSNKUcHiK+mPOM00SST0teRkqDJj/tlGHEKc@postini.com; Wed, 19 Jun 2013 09:54:04 PDT
Received: by mail-lb0-f176.google.com with SMTP id z5so4954649lbh.35
        for <caml-list@inria.fr>; Wed, 19 Jun 2013 09:54:01 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=google.com; s=20120113;
        h=content-type:mime-version:subject:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to:x-mailer
         :x-gm-message-state;
        bh=+R8Z/fRJxjiCyOOMOlYPc1D1wOyCIBhX1ZCxBejSh1M=;
        b=J4deiXicijJ+1VxKfhDFxMPoAzoYHqGk84dC8SZPHdm2rNgnaZ/snjlKuM6MXJo1+P
         0glN789Vy4crG1ICzgZxOAdGeOksWV4qw4Jnin/Ymk0X/4K5yWSZcQ67fmXEVrAQLq7V
         JMMbSjfEf8YcgJ+jfqR/6o6phvSLr+B5JkUKLVEwOx7RxWqYoMMbyecyUCe0F5KA1p9K
         amtQVhbBlVJyD39FkBYSzCJ8JHdPmojjA2TxHfcql232cZT5LiCbvKs9Wn3X0hy1KU1Y
         EVJLQKP/It2Lr8ZUDTeflkuHPUha7wh1VNq753wYarKRkXHpW20oon+FZzddATpilUIr
         KYQA==
X-Received: by 10.152.87.81 with SMTP id v17mr1775604laz.1.1371660841888;
        Wed, 19 Jun 2013 09:54:01 -0700 (PDT)
X-Received: by 10.152.87.81 with SMTP id v17mr1775599laz.1.1371660841745;
        Wed, 19 Jun 2013 09:54:01 -0700 (PDT)
Received: from [192.168.0.64] (ip-46-73-149-67.bb.netbynet.ru. [46.73.149.67])
        by mx.google.com with ESMTPSA id m14sm8974855lbl.1.2013.06.19.09.54.00
        for <multiple recipients>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Wed, 19 Jun 2013 09:54:01 -0700 (PDT)
Content-Type: text/plain; charset=windows-1252
Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\))
From: Ivan Gotovchits <ivg@ieee.org>
In-Reply-To: <B8DE2869-263B-4808-A9BA-78E2BE244960@ieee.org>
Date: Wed, 19 Jun 2013 20:54:00 +0400
Cc: caml users <caml-list@inria.fr>
Content-Transfer-Encoding: quoted-printable
Message-Id: <3023EEFF-EBB6-4718-BB32-AC5F25BC8C8D@ieee.org>
References: <87li6z8x0m.fsf@ieee.org> <20130528.102112.1182989008075506917.Christophe.Troestler@umons.ac.be> <wf4ndlsbxh.fsf@gmail.com> <878v2qj57l.fsf@kingston.cl.cam.ac.uk> <CAPFanBGLkwnSOKZbVNTonHuwEiONPXPQzAtwznRqM=k4PaHW+w@mail.gmail.com> <B8DE2869-263B-4808-A9BA-78E2BE244960@ieee.org>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
X-Mailer: Apple Mail (2.1508)
X-Gm-Message-State: ALoCoQn4dafNYrchdVtbEpKuromVNHMeTPQa1JByMV45nLK3dhloP/tstimbXQuQUY8YVvkVqdbTGPl1NYQa9VCKBCuRmKq+93dxsmG2sT57QVgSW2XMSj6J9flD2NWwNug7b7FcHJp5qppuPTFuLu7GDo2MG+1qdA==
Subject: Re: [Caml-list] Setting up OPAM in emacs

I beg my pardons for this strange flood of messages, that I've accidentally=
 reposted. It seems that my fingers have found a new shortcut, that I've no=
t knew before :-[ Sorry about that.