From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=AWL,HTML_MESSAGE, MISSING_HEADERS autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 19580BBAF for ; Fri, 11 Jul 2008 00:22:18 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvAEAPAndkhQDPJhX2dsb2JhbACCQTKPJxcFAgQIEgOfNw X-IronPort-AV: E=Sophos;i="4.30,340,1212357600"; d="scan'208,217";a="13014889" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Jul 2008 00:22:17 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6AMMHVP027672 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 11 Jul 2008 00:22:17 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvAEAPAndkhQDPJhX2dsb2JhbACCQTKPJxcFAgQIEgOfNw X-IronPort-AV: E=Sophos;i="4.30,340,1212357600"; d="scan'208,217";a="13014888" Received: from smtp23.orange.fr ([80.12.242.97]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Jul 2008 00:22:17 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2358.orange.fr (SMTP Server) with ESMTP id E48677000084 for ; Fri, 11 Jul 2008 00:22:16 +0200 (CEST) Received: from Thinkpad-R60 (Mix-Lyon-303-4-195.w193-248.abo.wanadoo.fr [193.248.106.195]) by mwinf2358.orange.fr (SMTP Server) with SMTP id 1254D7000081 for ; Fri, 11 Jul 2008 00:22:15 +0200 (CEST) X-ME-UUID: 20080710222216751.1254D7000081@mwinf2358.orange.fr Date: Fri, 11 Jul 2008 00:24:05 +0100 From: "Damien Guichard" Cc: "caml-list@inria.fr" Subject: [Caml-list] Re: thousands of CPU cores X-mailer: Foxmail 5.0 [-fr-] Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="=====003_Dragon242050625864_=====" Message-Id: <20080710222215.1254D7000081@mwinf2358.orange.fr> X-Miltered: at discorde with ID 48768B99.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; damien:01 guichard:01 ocaml:01 non-unix:01 ocaml:01 damien:01 non-unix:01 caml-list:01 binary:02 binary:02 multi-part:94 ported:07 ported:07 thousands:91 runs:11 This is a multi-part message in MIME format. --=====003_Dragon242050625864_===== Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit > And I am not sure that Ocaml has been ported to non-unix free > software... Does Ocaml runs on Hurd, or Syllable, or EROS? OCaml 3.10.2 binary package for SyllableOS: http://web.syllable.org/pages/resources.html Regards. -- damien --=====003_Dragon242050625864_===== Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: 7bit

> And I am not sure that Ocaml has been ported to non-unix free

> software... Does Ocaml runs on Hurd, or Syllable, or EROS?

OCaml 3.10.2 binary package for SyllableOS: http://web.syllable.org/pages/resources.html

Regards.

-- damien

--=====003_Dragon242050625864_=====--