From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0D65a2i007492 for ; Fri, 13 Jan 2012 07:05:36 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmwDADHJD0/ZRrfEmWdsb2JhbABDhRCWPoMUhFCJXyIBAQEBAQgLCwcUJYE6Hg0BNhVANgIFFgsCCwMCAQIBSw0IAQGFRAEBgjKXUY4KkSuBL4lYgRYEiDWMWYVRhSgBgVOFcg X-IronPort-AV: E=Sophos;i="4.71,502,1320620400"; d="scan'208";a="139074996" Received: from relay4-d.mail.gandi.net ([217.70.183.196]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Jan 2012 07:05:30 +0100 X-Originating-IP: 217.70.178.136 Received: from mfilter7-d.gandi.net (mfilter7-d.gandi.net [217.70.178.136]) by relay4-d.mail.gandi.net (Postfix) with ESMTP id E27B517208D for ; Fri, 13 Jan 2012 07:05:30 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mfilter7-d.gandi.net Received: from relay4-d.mail.gandi.net ([217.70.183.196]) by mfilter7-d.gandi.net (mfilter7-d.gandi.net [10.0.15.180]) (amavisd-new, port 10024) with ESMTP id DUumQn56BJnf for ; Fri, 13 Jan 2012 07:05:29 +0100 (CET) X-Originating-IP: 41.190.237.66 Received: from [192.168.0.111] (unknown [41.190.237.66]) (Authenticated sender: out@rktmb.org) by relay4-d.mail.gandi.net (Postfix) with ESMTPSA id 8DA4717207E for ; Fri, 13 Jan 2012 07:05:28 +0100 (CET) Message-ID: <4F0FC9A3.3020109@rktmb.org> Date: Fri, 13 Jan 2012 09:05:23 +0300 From: Mihamina Rakotomandimby User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:8.0) Gecko/20111124 Thunderbird/8.0 MIME-Version: 1.0 To: caml-list Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] OCaml on Android Hi all, I am really happy to see the existence of http://goo.gl/Pwppq I firstly installed the original (http://goo.gl/dX0QK) but the fork is really a big improvement. Looked for a PHP, Python,... interpreter and did not find easily. Looked for OCaml: those ones! Thank you! :-) -- RMA.