From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sp@orbitalfox.com>
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 76D99801DC
	for <caml-list@sympa.inria.fr>; Tue, 22 Aug 2017 21:49:06 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.com; spf=None smtp.mailfrom=sp@orbitalfox.com; spf=None smtp.helo=postmaster@orbitalfox.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  sp@orbitalfox.com) identity=pra; client-ip=95.172.232.202;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  sp@orbitalfox.com) identity=mailfrom;
  client-ip=95.172.232.202;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@orbitalfox.com) identity=helo;
  client-ip=95.172.232.202;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="postmaster@orbitalfox.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AtzRWNhSsM8Aw5yJMc6c4x+9Bkdpsv+yvbD5Q0YIu?=
 =?us-ascii?q?jvd0So/mwa67YBCN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8?=
 =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnZBUin4YAF8?=
 =?us-ascii?q?I+CwHo/Jk+y20fqz8tvdeVZmnj24NIhKZEGttS3WrMMXnYJmJKEhjBDOpy0bKK?=
 =?us-ascii?q?xt2Wp0KAfLzF7H7cCq8cs7/g=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CXMwC1iZxZ/8rorF9cHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBgy9ngRKeL5gOgX8ShUcCDIQlSA8BAQEBAQEBAQEBAWoogjMigkQ?=
 =?us-ascii?q?GGQodAQE4DwsaAiYCAlcTCAEBijGtA2uCJoMIAQEFiFMqCIENgh2CAoNagnyFP?=
 =?us-ascii?q?4JHgmGgRRWWOwGJUYcWlilJAwuBCncVSYUIghM/NosBAQEB?=
X-IPAS-Result: =?us-ascii?q?A0CXMwC1iZxZ/8rorF9cHAEBBAEBCgEBFwEBBAEBCgEBgy9?=
 =?us-ascii?q?ngRKeL5gOgX8ShUcCDIQlSA8BAQEBAQEBAQEBAWoogjMigkQGGQodAQE4DwsaA?=
 =?us-ascii?q?iYCAlcTCAEBijGtA2uCJoMIAQEFiFMqCIENgh2CAoNagnyFP4JHgmGgRRWWOwG?=
 =?us-ascii?q?JUYcWlilJAwuBCncVSYUIghM/NosBAQEB?=
X-IronPort-AV: E=Sophos;i="5.41,413,1498514400"; 
   d="scan'208";a="235086915"
Received: from orbitalfox.com ([95.172.232.202])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Aug 2017 21:49:05 +0200
Received: from [192.168.88.5] (unknown [192.168.88.5])
	by orbitalfox.com (Postfix) with ESMTPSA id A9AB6AA006A
	for <caml-list@inria.fr>; Tue, 22 Aug 2017 19:49:04 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com;
	s=orbitalfox; t=1503431344;
	bh=YLY/OR8BkQBGpPP4hDXuljAkn6wiaiJ4IeqnIx9DLn8=;
	h=Subject:To:References:From:Date:In-Reply-To;
	b=R2BCDOywZo2AhhmGn4PPdaqHe9psPhpZtSjR76KfuHtJgsfq3mJuaOeXBJJPWs9jC
	 yeggduDG2D8/pzm9nv5pEU4qy/Tli8dMZ/I9TV1+OFbctilmF8nOj1bQaWOfL+XtnD
	 uq/aDpRKoXULklMHKrrMEdRAwQ4Ch7dxjvVBH0R4=
To: caml-list@inria.fr
References: <CAFusmEz2nm2sEZt_FYsxRg5_N3sZLiNt+Jbc3XUaXszGO2gO+A@mail.gmail.com>
From: SP <sp@orbitalfox.com>
Message-ID: <6834e85e-e916-bdf0-c47a-d23e1bdca247@orbitalfox.com>
Date: Tue, 22 Aug 2017 20:49:06 +0100
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:56.0)
 Gecko/20100101 Thunderbird/56.0
MIME-Version: 1.0
In-Reply-To: <CAFusmEz2nm2sEZt_FYsxRg5_N3sZLiNt+Jbc3XUaXszGO2gO+A@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] [ANN] Mechaml 1.0.0

Good work. Thanks for sharing Yann.

-- 
    SP