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 D2A567FE44 for ; Sat, 9 Jul 2016 00:54:38 +0200 (CEST) IronPort-PHdr: 9a23:mParmBXTLANXESuEEDxgjd7SrwvV8LGtZVwlr6E/grcLSJyIuqrYZhOCt8tkgFKBZ4jH8fUM07OQ6PG4Hzdaqs/R+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLshrj0oMeYOlUArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzvUAKJ6zM+VWUQiR1OS1zJ8Rj8U9HztSv8re178CafNMzyC7szXGLxwb1sTUrZjzsOMnYT+XvRjd042LNcvBukrRVlxYnFSI6QPft6OKjaeIVJFiJ6Qs9NWnkZUcuHZIwVAr9EZL4Aog== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yotambarnoy@gmail.com; spf=Pass smtp.mailfrom=yotambarnoy@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f173.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yotambarnoy@gmail.com) identity=pra; client-ip=209.85.161.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yotambarnoy@gmail.com designates 209.85.161.173 as permitted sender) identity=mailfrom; client-ip=209.85.161.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@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-yw0-f173.google.com) identity=helo; client-ip=209.85.161.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="postmaster@mail-yw0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ARAQCnLoBXhq2hVdFCGoQUdgYGpg2TBIF6IoVxAwICgSEHOhIBAQEBAQEBAREBAQEICwsJIS9BDgGBYoIbAQUSER0BGx0BAwwGBQsNAgImAgIhAQERAQUBHAYTCBqHcwEDFwkFLaB3gTE+MYs7gWqCWgWFXgoZJw1Sg0kBAQEBBgEBAQEBGgIGEHGFJoRNgkOEf4JaAQSYYDSGDIYvghSBVAFjjHSIGoY1Eh6BDyUKgj+BcyAyAQEBAYELiCMBAQE X-IPAS-Result: A0ARAQCnLoBXhq2hVdFCGoQUdgYGpg2TBIF6IoVxAwICgSEHOhIBAQEBAQEBAREBAQEICwsJIS9BDgGBYoIbAQUSER0BGx0BAwwGBQsNAgImAgIhAQERAQUBHAYTCBqHcwEDFwkFLaB3gTE+MYs7gWqCWgWFXgoZJw1Sg0kBAQEBBgEBAQEBGgIGEHGFJoRNgkOEf4JaAQSYYDSGDIYvghSBVAFjjHSIGoY1Eh6BDyUKgj+BcyAyAQEBAYELiCMBAQE X-IronPort-AV: E=Sophos;i="5.28,332,1464645600"; d="scan'208";a="226131892" Received: from mail-yw0-f173.google.com ([209.85.161.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Jul 2016 00:54:38 +0200 Received: by mail-yw0-f173.google.com with SMTP id l125so48669057ywb.2 for ; Fri, 08 Jul 2016 15:54:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=PyfIpA0WHOdDBY3XJ+zT3uvBvLO5aF2tQfN+ZODozdU=; b=xDznAxeesTXk+WnLm0PGrkSi8lzLl4V5ZDJTuSJDSRO17sE2jqi6sMwC8aUTXiTMWV ofukepXpVzXUO4GXZKeSFtq63vR7BoVZqAzb12Z7fhyWtLubnzHidRvQbGTBwVu77MpX 8T69trSIwHZ8UvWa7gyHgkkwdM54c3cKHntoKIEGYlMGl9hvvghNDFi28EpkYzADAv7S bdZZd1/hevPsHhyWiUv512WlXPaExnkp4a1+2AHHUf14ZsgabOdNgNVRPySYtTmQDZ0K WU8AMhudd5YC2FQwHI1BOBqvtymaNjttEMY3n73vtKJvvDcX18cMuh8qekaHEcijs4gT o0yg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=PyfIpA0WHOdDBY3XJ+zT3uvBvLO5aF2tQfN+ZODozdU=; b=mJV7Wojze9AJ4j+3sIrGw1rGQ3dyJiqAPU846o0QZRuhPnc6sBs+TNWDDQ8evzRtEn /r7E0RDTmVI1wq4p7XJ7WXEwJYEFPSHVLOyHqtPXXRzlF3/dFFwEZWNWvIb7p5zTNI8t aR2EyWIg41rD0YfPni/OWUvpVLQ9VwwT31rrxkJGi9Fx+0NVYLVsHG11A4H+izvSkVtL WCZ/8V/Gc7j9S0wyndz4sv27Eqfk73o3SID606wPXB+o/atUAqCHsQic6OnjMaO5YDcF cGsuAlrqoXfnYQ52tdtNaH0C6y9LxSWyDb9kP2BKAPylv2d9rI6oGBOhTc2df3t1y5MJ O+Qg== X-Gm-Message-State: ALyK8tIlzqA36iazHSEpn+rBrRqGzaABcaPpAwb6br8d9ZBtc6sHIM7bA8ludLmVwM8bFZ7ebOjiStedhiIJjA== X-Received: by 10.129.2.136 with SMTP id 130mr6166825ywc.287.1468018476902; Fri, 08 Jul 2016 15:54:36 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.115.66 with HTTP; Fri, 8 Jul 2016 15:54:17 -0700 (PDT) In-Reply-To: References: <20160704144512.GB2458@Razor> <20160708191619.GA31140@topoi.pooq.com> From: Yotam Barnoy Date: Fri, 8 Jul 2016 18:54:17 -0400 Message-ID: To: Duane Johnson Cc: Steven Shaw , Hendrik Boom , Ocaml Mailing List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Getting the word out. No -- it doesn't exist on google groups. On Fri, Jul 8, 2016 at 5:13 PM, Duane Johnson wrote: > > On Fri, Jul 8, 2016 at 2:57 PM, Steven Shaw wrote: >> >> http://gmane.org/info.php?group=gmane.comp.lang.caml.inria > > > > Perhaps this explains why searching for "ocaml" on google groups does not > yield this list as a result? ("ocaml" is not a substring of "caml")