From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3KFrMO9029048 for ; Wed, 20 Apr 2011 17:53:22 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApACANAAr03RVdU2kGdsb2JhbACEUJMgjUMIFAEBAQEJCQ0HFAQhiGijI4o4gmGFKYkQAQEDBoEjg056BI4iigI6gSI X-IronPort-AV: E=Sophos;i="4.64,247,1301868000"; d="scan'208";a="97619616" Received: from mail-yw0-f54.google.com ([209.85.213.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Apr 2011 17:53:18 +0200 Received: by ywf7 with SMTP id 7so361633ywf.27 for ; Wed, 20 Apr 2011 08:53:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:date:x-google-sender-auth :message-id:subject:from:to:content-type; bh=9KB324w/ikqnP32/tcxYLQM76UnNTjnq0MKPmQKX2Zc=; b=VEhkw2FlRtH4rPWxRAbaZO19Qm8s0GxkF7/JqZZPGZi3dBvcy1XGqdl0jWzie/UcKN rWWYzbJjWwxyLinM3WXmGP3U/pWXeQgD6ukrwsoFIrV01GCXKzd0CU2TWacOPxfBtLrm 1IoiMdLTu6G8BIlVPoaMuhkm9LVvpLL59fpjk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=hSjq6O6bYW/dIjyy1PCjfHAAmoh2pas9eLZE2kt4Uu4KfxRO6RCfjNCTqj8iWG4xN+ 0O1pjCNWKmJHpEFLTxvNE6LANawI4UsvrC5wd062TOlqozqAflOtbsQ9yRNu5d1Yg7oD 67f6Tm1wW2D/DB6W/9frJbQNAZrjzry/TGr4E= MIME-Version: 1.0 Received: by 10.150.93.17 with SMTP id q17mr6167786ybb.186.1303314797828; Wed, 20 Apr 2011 08:53:17 -0700 (PDT) Sender: daniel.c.buenzli@gmail.com Received: by 10.147.136.13 with HTTP; Wed, 20 Apr 2011 08:53:17 -0700 (PDT) Date: Wed, 20 Apr 2011 15:53:17 +0000 X-Google-Sender-Auth: KOT6IujJTTpfaHvnwVV08nRIxlg Message-ID: From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] oasis & macosx Hello, Is there any simple way to install oasis on macosx ? Thanks, Daniel