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 F0A138239C for ; Mon, 26 Feb 2018 15:13:24 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.eu; spf=None smtp.mailfrom=sp@orbitalfox.eu; spf=None smtp.helo=postmaster@orbitalfox.eu Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.eu) identity=pra; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="sp@orbitalfox.eu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.eu) identity=mailfrom; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="sp@orbitalfox.eu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@orbitalfox.eu) identity=helo; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="postmaster@orbitalfox.eu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A/4PENxVj8e8K5687PcVY/V9QtKnV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxSAt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZDI2y?= =?us-ascii?q?b5UBAfcCM+ZWoIbyu0YBoxS8CgaiH+7v1jxFi2Xq0aEmyektDAfL1xEgEdIUt3?= =?us-ascii?q?TUqc34OroIX+uoy6TI1i3DYuhR2Tfn84fIcwwhruuIXbJ+dsrQxlMjGB3YjliJ?= =?us-ascii?q?r4HuIjCb1vwVvmWf7+dsT/+jhmw5pw1rvDSiyNkghpPXio4J1FzJ8zhyzpwvKt?= =?us-ascii?q?2iUkF7ZMapEJtOuCGeMIt7WsQiQ3tztyY71r0Jo5q7fCYNyJUo3RLQdeGHf5CJ?= =?us-ascii?q?4hLlSumRPS91iXZldb6lmhq/81asxvfiWsS6zlpGtDRJnsXSunwV0hzc8MmHSv?= =?us-ascii?q?9z/ke73jaP0hje6vpcIU0vkqrbMYUuwr8slpUJtUTDECj2mUrsgKCIa0Uo4vKo?= =?us-ascii?q?5Pj/YrX6up+cMJd5hR3kPaQrnsyzGOA4MgkVX2iH4um8z73i/UjhQLpQlPE2k6?= =?us-ascii?q?/ZsIrbJcsBvKK5DRVVgc4f7EOZDjyh1F0Dql4FIV5MTzgLlcC9PVDFJ/TxFrG4?= =?us-ascii?q?gVmgmXFhzuruOrDxA5vMaHPEleGyU6x67htn8EJn1sh34IheC60IJPz0Sgn8qY?= =?us-ascii?q?qLXVcCLwWozrO/W51G3YQEVDfKW/fBafKAgRqz/usqZtK0SsoQsTf5JeIi4qez?= =?us-ascii?q?33gjk14BdK2n2otRZW3qRq06cXXcWmLlh5I6KUlPphA3FbG4j0eIUCJaY3i1T+?= =?us-ascii?q?Qx+2NjUd/0PcL4XomoxYe58mK7E5lRPz0UDUqGEGvhc4uDS7EBdXDKLw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C3AgCHFZRa/8rorF9cGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYUljh50jwsOgQiMWokrghaFMwoCDIJPBgUwGAECAQEBAQEBAQEBaii?= =?us-ascii?q?COCQBgkcBBTIBBUEQCxgJJQ9IBoUnrTOIZYIUAQEIAiaKfgGBcoE7ixMFoVMOC?= =?us-ascii?q?ZQTgX8BkG2XJB44gVFzEjqCRIRZQI0OAQEB?= X-IPAS-Result: =?us-ascii?q?A0C3AgCHFZRa/8rorF9cGgEBAQEBAgEBAQEIAQEBAYUljh5?= =?us-ascii?q?0jwsOgQiMWokrghaFMwoCDIJPBgUwGAECAQEBAQEBAQEBaiiCOCQBgkcBBTIBB?= =?us-ascii?q?UEQCxgJJQ9IBoUnrTOIZYIUAQEIAiaKfgGBcoE7ixMFoVMOCZQTgX8BkG2XJB4?= =?us-ascii?q?4gVFzEjqCRIRZQI0OAQEB?= X-IronPort-AV: E=Sophos;i="5.47,396,1515452400"; d="scan'208";a="315327187" Received: from orbitalfox.com (HELO orbitalfox.eu) ([95.172.232.202]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Feb 2018 15:13:24 +0100 Received: from darkstar (unknown [192.168.88.17]) by orbitalfox.eu (Postfix) with ESMTPSA id 304FCAA0191; Mon, 26 Feb 2018 14:13:22 +0000 (UTC) Date: Mon, 26 Feb 2018 14:13:21 +0000 From: SP To: =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= Cc: David Allsopp , "Richard W.M. Jones" , "caml-list@inria.fr" Message-ID: <20180226135737.tygbaypvgo6pc7xe@darkstar> References: <20180225161430.zkfpkihg7jyxs5cg@annexia.org> <3516931D-FCEF-4DDB-9FF7-11D3345B6D6C@orbitalfox.eu> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1; format=flowed Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: NeoMutt/20171215 Subject: Re: [Caml-list] Status of the OCaml RISC-V port On Sun, Feb 25, 2018 at 11:35:25PM +0100, Nicolás Ojeda Bär wrote: > When the time comes, the patch will be submitted as a github PR and > everyone is warmly invited to take part in that discussion. Is the development discussion taking place on some other discussion list? -- SP