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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 88EC07F61E
	for <caml-list@sympa.inria.fr>; Sat,  4 Nov 2017 12:12:42 +0100 (CET)
Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  sp@orbitalfox.com) identity=pra; client-ip=95.172.232.202;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  sp@orbitalfox.com) identity=mailfrom;
  client-ip=95.172.232.202;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@orbitalfox.com) identity=helo;
  client-ip=95.172.232.202;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="postmaster@orbitalfox.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AgqIo1BDcHFw618Sxp0TAUyQJP3N1i/DPJgcQr6Af?=
 =?us-ascii?q?oPdwSP3/o8bcNUDSrc9gkEXOFd2Crakb26yL6+jJYi8p39WoiDg6aptCVhsI24?=
 =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6i760TlHERz6MU9x?=
 =?us-ascii?q?J//pMo/UlcW+ke6oqLPJZAAdvwL1NahqBBKspwTNv80YhpskIaE0nEia6kBUcv?=
 =?us-ascii?q?hbkDs7bWmYmAzxs5+9?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CiAwDln/1Z/8rorF9cHQEFAQsBgzRna?=
 =?us-ascii?q?yeDfYofjxqBVpZsghGFPAkCDIRLPxgBAQEBAQEBAQEBaiiCOCKCRQYjHQEBOA8?=
 =?us-ascii?q?LGgImAgJXEwgBAYojpztrgieDCQEBBYgAKgiBD4IfggeDOwEpC4J2hV2CSYJio?=
 =?us-ascii?q?X4VlngBiXuHPJdPHziBbHoVSYJkgk2CEkE2jFwBAQE?=
X-IPAS-Result: =?us-ascii?q?A0CiAwDln/1Z/8rorF9cHQEFAQsBgzRnayeDfYofjxqBVpZ?=
 =?us-ascii?q?sghGFPAkCDIRLPxgBAQEBAQEBAQEBaiiCOCKCRQYjHQEBOA8LGgImAgJXEwgBA?=
 =?us-ascii?q?YojpztrgieDCQEBBYgAKgiBD4IfggeDOwEpC4J2hV2CSYJioX4VlngBiXuHPJd?=
 =?us-ascii?q?PHziBbHoVSYJkgk2CEkE2jFwBAQE?=
X-IronPort-AV: E=Sophos;i="5.44,341,1505772000"; 
   d="scan'208";a="299285333"
Received: from orbitalfox.com ([95.172.232.202])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Nov 2017 12:12:42 +0100
Received: from [192.168.88.5] (unknown [192.168.88.5])
	by orbitalfox.com (Postfix) with ESMTPSA id 62010AA005D
	for <caml-list@inria.fr>; Sat,  4 Nov 2017 11:12:41 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com;
	s=orbitalfox; t=1509793961;
	bh=nqscUczejVVUYKgdyjgJofYLqaW7XiAmwQkarC7jtC4=;
	h=Subject:To:References:From:Date:In-Reply-To;
	b=fJGo8S6LxjCQBMK0uJdKNGr+9pD46lk9tpiNHTCEI4QQr3tq3c6cKDPjB24A91SPM
	 MMKBj87i1m21/pFO2XHed8vFqpXZr72BRx+eIHe7ByqdxVM8TuNkhgZZqdE4Rwz4ma
	 eYlPXjh+3gLhv0mo1EKbHtyKSKb2/kAhe2RZlyIU=
To: caml-list@inria.fr
References: <CAPunWhApp7QTJOz=9Ki9h48p+TpnRNAxEqff9TnGDcmQdtMUrQ@mail.gmail.com>
From: SP <sp@orbitalfox.com>
Message-ID: <ee0441d2-ee6e-5179-0505-70ed6dde6b53@orbitalfox.com>
Date: Sat, 4 Nov 2017 11:13:14 +0000
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:52.0)
 Gecko/20100101 Thunderbird/52.4.0
MIME-Version: 1.0
In-Reply-To: <CAPunWhApp7QTJOz=9Ki9h48p+TpnRNAxEqff9TnGDcmQdtMUrQ@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: en-GB
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] [ANN] RISC-V OCaml 4.06

Thanks for your work and sharing!

What boards do you test this on?

-- 
    SP