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 0AEE77EEAF for ; Wed, 23 Jan 2013 23:51:49 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of vouillon@pps.univ-paris-diderot.fr) identity=pra; client-ip=194.254.61.141; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vouillon@pps.univ-paris-diderot.fr"; x-sender="vouillon@pps.univ-paris-diderot.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of vouillon@pps.univ-paris-diderot.fr) identity=mailfrom; client-ip=194.254.61.141; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vouillon@pps.univ-paris-diderot.fr"; x-sender="vouillon@pps.univ-paris-diderot.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@potemkin.univ-paris7.fr) identity=helo; client-ip=194.254.61.141; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vouillon@pps.univ-paris-diderot.fr"; x-sender="postmaster@potemkin.univ-paris7.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvoAABJpAFHC/j2NmWdsb2JhbABEgzi7CRYOAQEBAQEICwsHFCeCMSYBBX00AlkIAQGIGgicMKE4BI4KgykDm3eNVA X-IPAS-Result: AvoAABJpAFHC/j2NmWdsb2JhbABEgzi7CRYOAQEBAQEICwsHFCeCMSYBBX00AlkIAQGIGgicMKE4BI4KgykDm3eNVA X-IronPort-AV: E=Sophos;i="4.84,524,1355094000"; d="scan'208";a="55660" Received: from potemkin.univ-paris7.fr ([194.254.61.141]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 Jan 2013 23:51:48 +0100 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/38117) with ESMTP id r0NMpm4r018078 for ; Wed, 23 Jan 2013 23:51:48 +0100 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 7A3C747837 for ; Wed, 23 Jan 2013 23:51:48 +0100 (CET) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id sDRFwC7pHNDM for ; Wed, 23 Jan 2013 23:51:46 +0100 (CET) Received: from [192.168.0.55] (did75-12-82-236-1-59.fbx.proxad.net [82.236.1.59]) (Authenticated sender: vouillon) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id C169D47828 for ; Wed, 23 Jan 2013 23:51:46 +0100 (CET) Message-ID: <51006982.20704@pps.univ-paris-diderot.fr> Date: Wed, 23 Jan 2013 23:51:46 +0100 From: =?ISO-8859-1?Q?J=E9r=F4me_Vouillon?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Wed, 23 Jan 2013 23:51:48 +0100 (CET) Subject: [Caml-list] [ANN] OCaml 4.00.1 for Android: OPAM packages Hi, I have packaged an OCaml 4.00.1 cross-compiler for Android as well as Android versions of the Lwt library and of the Unison file synchronizer. The OPAM repository is at the following address: https://github.com/vouillon/opam-android-repository/ You can use the command below to add this repository to the list of repositories used by OPAM: opam repo -add android https://github.com/vouillon/opam-android-repository.git The following command will list the available packages: opam list | grep android Contributions (additional packages, ...) are welcome. Many thanks to Keigo Imai for its OCaml 3.12 cross-compiler. Regards, -- Jérôme Vouillon