From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0TIG4qH022214 for ; Sun, 29 Jan 2012 19:16:04 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArwCAICMJU/RVde2kGdsb2JhbABDjEeiCAgiAQEBAQkJDQcUBCGBcgEBAQQSAiwBGx0BAwwGBQs7IgERAQUBHAY1oykKi2qCb4N8P4hxAgULiDYCAgQKAgEMBAMEBxgJFAMIAQIBhBIDg2IEjVmHQY4VPYQA X-IronPort-AV: E=Sophos;i="4.71,588,1320620400"; d="scan'208";a="129298717" Received: from mail-ey0-f182.google.com ([209.85.215.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Jan 2012 19:15:57 +0100 Received: by eaaa14 with SMTP id a14so1382433eaa.27 for ; Sun, 29 Jan 2012 10:15:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=Jtc7aQz/oHIy+1GDnD0uyCb+HjpbCSvQbLkezE3Rz1w=; b=MHhORpiedVyUEE2JK8LCz3R3Ud9D9Da0SeEFndvC+UZf7xBripfgx1WcWHMQH0tvba xuks12opMuooNfxfHW1iWXU3DAEtVjdtlAZsVDbohMh+XUfMlmzW5zzRvYddOJY8WKb0 5oXex4b1VKzsPEOOZad+QHF4EdOJ9gpcTWT+0= MIME-Version: 1.0 Received: by 10.213.34.79 with SMTP id k15mr2375444ebd.103.1327860957100; Sun, 29 Jan 2012 10:15:57 -0800 (PST) Received: by 10.213.4.68 with HTTP; Sun, 29 Jan 2012 10:15:57 -0800 (PST) In-Reply-To: <4F258BE0.5020101@gmail.com> References: <4F22D617.1080802@gmail.com> <4F254561.8030004@163.com> <4F258BE0.5020101@gmail.com> Date: Sun, 29 Jan 2012 19:15:57 +0100 Message-ID: From: Adrien To: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= <5764c029b688c1c0d24a2e97cd764f@gmail.com> Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] deriving Hi, Could you show the content of the META file for deriving on your fedora installation? On my computer (I'm not using fedora), a command like this one points to a proper file: % find /opt/ocaml -name META | grep -i deriving /opt/ocaml/lib/ocaml/pkg-lib/deriving-ocsigen/META Regards, Adrien Nader