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=1.0 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 6253EBBD5 for ; Mon, 20 Oct 2008 10:02:53 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AokEADuV+EjAXQImiGdsb2JhbACTaQIWIqxGg2w X-IronPort-AV: E=Sophos;i="4.33,434,1220220000"; d="scan'208";a="18882767" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 17 Oct 2008 22:42:21 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9HKgKB5025203 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 17 Oct 2008 22:42:21 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhwFAP6V+EhbucREWGdsb2JhbACTXwEhrG2DbA X-IronPort-AV: E=Sophos;i="4.33,434,1220220000"; d="scan'208";a="18234965" Received: from post.literal.si ([91.185.196.68]) by mail3-smtp-sop.national.inria.fr with ESMTP; 17 Oct 2008 22:42:18 +0200 Received: from localhost (post.literal.si [91.185.196.68]) by post.literal.si (Postfix) with ESMTP id 12FED10E47ED; Fri, 17 Oct 2008 22:42:17 +0200 (CEST) X-Virus-Scanned: amavisd-new at literal.si Received: from post.literal.si ([91.185.196.68]) by localhost (post.literal.si [91.185.196.68]) (amavisd-new, port 10024) with ESMTP id Mg2L3Sq6wfsB; Fri, 17 Oct 2008 22:42:16 +0200 (CEST) Received: from [192.168.1.100] (BSN-77-148-136.static.dsl.siol.net [193.77.148.136]) by post.literal.si (Postfix) with ESMTP id 9056610E47D8; Fri, 17 Oct 2008 22:42:16 +0200 (CEST) Message-ID: <48F8F8A8.6050305@andrej.com> Date: Fri, 17 Oct 2008 22:42:16 +0200 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 2.0.0.17 (X11/20080925) MIME-Version: 1.0 To: Kuba Ober Cc: caml-list@inria.fr Subject: Re: [Caml-list] Camelia progress References: <200810170956.00776.kuba@mareimbrium.org> In-Reply-To: <200810170956.00776.kuba@mareimbrium.org> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 48F8F8AC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; andrej:01 andrej:01 ubuntu:98 caml-list:01 slightly:03 let:03 volunteer:06 bauer:09 bauer:09 done:14 something:14 test:15 code:17 since:17 regards:20 Since I am slightly responsible for getting you into this exercise, I volunteer to test the code on Ubuntu 7.04, Intel and AMD64 architectures. Let me know when you want something done. Best regards, Andrej