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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 174C57F7AF for ; Sun, 27 Sep 2015 02:20:15 +0200 (CEST) IronPort-PHdr: 9a23:REsafxUl1Nj1lgFI1LJSLUkoeKXV8LGtZVwlr6E/grcLSJyIuqrYZhCCt8tkgFKBZ4jH8fUM07OQ6PC8HzFaqs/f7zgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2PJVgSz2PjPvtbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN/dwcbsNBz0jNyUx5db3nRjFVwqGoHUGAUsMlR8dJAzE8hzgFr34tCf3sqIp3y2bI8DsZb41Qy++qaZtDRXlkiMGMXg1/TeE2YRLkKtHrUf59FREyInObdTNOQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=oliver@first.in-berlin.de; spf=None smtp.mailfrom=oliver@first.in-berlin.de; spf=None smtp.helo=postmaster@einhorn.in-berlin.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=pra; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=mailfrom; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@einhorn.in-berlin.de) identity=helo; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="postmaster@einhorn.in-berlin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AIAQAfNQdWkQgqbcBdhGEGxTYCgSE8EAEBAQEBAQEBEAEBAQEJCwsHEg8ugh2CBwEBAQMBIxVGCwsYAgIYDgICVxmIJggEtzqUHiyBIopOhRQXglKBQwWVcI0KCkx+hzKOUYIzgTo4gjwcgVZviSEBAQE X-IPAS-Result: A0AIAQAfNQdWkQgqbcBdhGEGxTYCgSE8EAEBAQEBAQEBEAEBAQEJCwsHEg8ugh2CBwEBAQMBIxVGCwsYAgIYDgICVxmIJggEtzqUHiyBIopOhRQXglKBQwWVcI0KCkx+hzKOUYIzgTo4gjwcgVZviSEBAQE X-IronPort-AV: E=Sophos;i="5.17,594,1437429600"; d="scan'208";a="148688405" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Sep 2015 02:20:14 +0200 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from localhost (yak.in-berlin.de [192.109.42.109]) by einhorn.in-berlin.de (8.14.4/8.14.4/Debian-4) with ESMTP id t8R0KDCq027708 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Sun, 27 Sep 2015 02:20:13 +0200 Received: from x55b20ba7.dyn.telefonica.de (x55b20ba7.dyn.telefonica.de [85.178.11.167]) by webmail.in-berlin.de (Horde Framework) with HTTP; Sun, 27 Sep 2015 02:20:13 +0200 Date: Sun, 27 Sep 2015 02:20:13 +0200 Message-ID: <20150927022013.Horde.7_YDWN_ENtrbukfdDJfQyiU@webmail.in-berlin.de> From: Oliver Bandel To: caml-list@inria.fr References: <1443259698.4442.12.camel@e130.lan.sumadev.de> In-Reply-To: User-Agent: Horde Application Framework 5 Content-Type: text/plain; charset=utf-8; format=flowed; DelSp=Yes MIME-Version: 1.0 Content-Disposition: inline Subject: Re: [Caml-list] whither portability? Zitat von whitequark (Sat, 26 Sep 2015 18:59:50 +0300) > I will offer a few comments as the author of opam-android[1]. > > On 2015-09-26 15:48, Raoul Duke wrote: >> Exciting to hear! Thank you and your contributors for this work. I >> know there are ways people can be parochial, but I have never been >> able to fathom how the core OCaml team can ignore mobile so actively, >> it seems. It is to sigh, oy veh. > > No one is being parochial or "actively" ignoring mobile. The OCaml core > team consists of unpaid volunteers. [...] Oh, really? Are you sure? I thought, they have jobs at INRIA, and can put at least part of their paid time into OCaml-development! Ciao, Oliver