From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rich@annexia.org>
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 36B7A7F787
	for <caml-list@sympa.inria.fr>; Wed,  9 Nov 2016 23:44:09 +0100 (CET)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rich@annexia.org) identity=pra; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  rich@annexia.org designates 80.68.91.176 as permitted sender)
  identity=mailfrom; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@annexia.org designates 80.68.91.176 as permitted
  sender) identity=helo; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="postmaster@annexia.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
IronPort-PHdr: =?us-ascii?q?9a23=3Aw/KCsxTnNq9yr8nADnUVIA6+8dpsv+yvbD5Q0YIu?=
 =?us-ascii?q?jvd0So/mwa69YRKN2/xhgRfzUJnB7Loc0qyN4vumATVLuczJmUtBWaQEbwUCh8?=
 =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?=
 =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBu7oR/NusULjoduNrg9wQbVr3VVfO?=
 =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?=
 =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?=
 =?us-ascii?q?waMTMy7WPZhdFqjK9DrhyvpwJxzZPXboGbO/VxYr7SctEUSmdaQsZdSzZMDp+g?=
 =?us-ascii?q?Y4YVEeYMO/tToYnnp1sJqBuzHQegCv/uyjBUhn/5x7c63Pk8Gg7GxgAuGMgCu2?=
 =?us-ascii?q?nQotXyMqcdT/u1wKfVxjjEdfNW2Cvy6IjTfx87p/GMW6x/cMXQyUY1DQ/FiU+Q?=
 =?us-ascii?q?qYP8Mj6Ty+8DvW+b7+96WuKujW4qsw9xrSayyccrkInGnJoVxU7D9SVhxIY6O8?=
 =?us-ascii?q?e0SElhYd6rFpZbqiKUN5NuT84hX21koic3x74ctZO/YSQG0okryhzeZvGBboOG?=
 =?us-ascii?q?+AjsVPyLLjd9nH9leKywhxK18UW40OL8UM+030hFrypEiNbArHcN1wbc6sSfS/?=
 =?us-ascii?q?t9+Fmu2SqX2g3Q9u1IO0E5mKnBJ5Ml37I8jIcfvEbCEyPunUX5lq6WdkEq+uiy?=
 =?us-ascii?q?7OTnZ63rpoWdN4BoigHzKb4hmsq5AesmPQkOXnKU9f671L358k31WK9KgeEukq?=
 =?us-ascii?q?nFrJDaItwWqbKjDA9Q1oYv8hK/Dza90NQEhnQHN1JEeBefj4fzIV3OIfb4De2+?=
 =?us-ascii?q?g1u2ijtryerGbfXdBcDrL3PElL76NZF/5kJVgCA615gL4dRTCLxHKvvpckD0vd?=
 =?us-ascii?q?3cSBQ+Nlrn7fzgDYA37IIVWWuVDuemdoaU+X2P4O80aaHYfo4euB70Lf4o9//n?=
 =?us-ascii?q?y3gjlglOLuGSwZILZSXgTbxdKEKDbC+0jw=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CMBAAnpiNY/7BbRFBdGwEBAQMBAQEJA?=
 =?us-ascii?q?QEBFgEBAQMBAQEJAQEBgwQBAQEBAR9Yg3qgKAEBAQaBHJJHhBclhX8CghRCEQE?=
 =?us-ascii?q?BAQEBAQEBAQEBYSiCMxiCFwEBBDo/EAsYCRMSDwUoIYhzCrMWiz8BAQEBBgEBA?=
 =?us-ascii?q?QEeBYV0QIRkiigFlE6FYwGGN4oMgWOOQo04hAc0IXwbhRQ+iBsBAQE?=
X-IPAS-Result: =?us-ascii?q?A0CMBAAnpiNY/7BbRFBdGwEBAQMBAQEJAQEBFgEBAQMBAQE?=
 =?us-ascii?q?JAQEBgwQBAQEBAR9Yg3qgKAEBAQaBHJJHhBclhX8CghRCEQEBAQEBAQEBAQEBY?=
 =?us-ascii?q?SiCMxiCFwEBBDo/EAsYCRMSDwUoIYhzCrMWiz8BAQEBBgEBAQEeBYV0QIRkiig?=
 =?us-ascii?q?FlE6FYwGGN4oMgWOOQo04hAc0IXwbhRQ+iBsBAQE?=
X-IronPort-AV: E=Sophos;i="5.31,615,1473112800"; 
   d="scan'208";a="199804897"
Received: from annexia.org ([80.68.91.176])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Nov 2016 23:44:08 +0100
Received: from rich by annexia.org with local (Exim 4.84_2)
	(envelope-from <rich@annexia.org>)
	id 1c4bbC-0006Cv-DS; Wed, 09 Nov 2016 22:44:06 +0000
Date: Wed, 9 Nov 2016 22:44:06 +0000
From: "Richard W.M. Jones" <rich@annexia.org>
To: Nicolas Ojeda Bar <n.oje.bar@gmail.com>
Cc: caml users <caml-list@inria.fr>
Message-ID: <20161109224406.GK27249@annexia.org>
References: <CAPunWhCBeTyek8bjiHLvvH=gTLLPkhrEB12U7ptiQg=6Ky1VQg@mail.gmail.com>
 <20161108190849.GJ27249@annexia.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20161108190849.GJ27249@annexia.org>
User-Agent: Mutt/1.5.23 (2014-03-12)
Subject: Re: [Caml-list] [ANN] RISC-V native backend, no longer
 cross-compiling

On Tue, Nov 08, 2016 at 07:08:49PM +0000, Richard W.M. Jones wrote:
> It's not yet built in the publicly available Fedora/RISC-V packages,
> since those are based on Fedora 25 [currently Rawhide is the future
> Fedora 26].

Actually I changed my mind on this bit and I'm going to build the
OCaml packages into the RISC-V tree.  They'll be available in the next
day or two at https://fedorapeople.org/groups/risc-v/

Rich.

-- 
Richard Jones