From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0TIPq55022529
	for <caml-list@sympa-roc.inria.fr>; Sun, 29 Jan 2012 19:25:52 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhMDALWNJU9KfVI0imdsb2JhbABDgiiCY6lECCIBAQEKCQ0HEgYhgXIBAQEEEgIPHQEbHQEDDAYFCw0CAgUhAgIPAhIRAQUBHAYNAQcBAR6HXZtKCosiSIJvg3w/iHECBQuBJIcOAQQDBAkBAwwEAwQwFwMBgnEZBAIKAg0HAVsJgkyBFgSVGoVWgTmHBj2Dfw
X-IronPort-AV: E=Sophos;i="4.71,588,1320620400"; 
   d="scan'208";a="141935035"
Received: from mail-ww0-f52.google.com ([74.125.82.52])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 29 Jan 2012 19:25:46 +0100
Received: by wgbdq12 with SMTP id dq12so4272813wgb.9
        for <caml-list@inria.fr>; Sun, 29 Jan 2012 10:25:46 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        bh=jZ8Jx9Bi6pDzgccyqKXVyt0K8BQJ9u/HiQDo8Gugyro=;
        b=avryHDbSTnVriSdfmo9yG+c8pZLxeOsHwrywHYuolKt7+Ut5GETkQD5NAfxg+GEf8l
         yQU6TAEuJLivq6o97y2KwBIMuRRxfwT1WDNumr/kLt/m0c9BQSv9d0v7CVgtz4lqHXvM
         fiIgUkZdwxq7+6ghbsU8ghFiVr/2imo1U97vo=
Received: by 10.180.92.73 with SMTP id ck9mr23013351wib.2.1327861546646;
        Sun, 29 Jan 2012 10:25:46 -0800 (PST)
Received: from [172.27.6.163] ([213.106.240.92])
        by mx.google.com with ESMTPS id l12sm26042742wiw.0.2012.01.29.10.25.46
        (version=SSLv3 cipher=OTHER);
        Sun, 29 Jan 2012 10:25:46 -0800 (PST)
Message-ID: <4F258F29.70206@gmail.com>
Date: Sun, 29 Jan 2012 18:25:45 +0000
From: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?=
 <5764c029b688c1c0d24a2e97cd764f@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:9.0) Gecko/20111222 Thunderbird/9.0
MIME-Version: 1.0
To: Adrien <camaradetux@gmail.com>
CC: caml-list@inria.fr
References: <4F22D617.1080802@gmail.com> <4F254561.8030004@163.com> <4F258BE0.5020101@gmail.com> <CAP5QFJmkUk5GTmz6Aud615nPxF0S5LqQ=tSJuShV-SJgQua-9Q@mail.gmail.com>
In-Reply-To: <CAP5QFJmkUk5GTmz6Aud615nPxF0S5LqQ=tSJuShV-SJgQua-9Q@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] deriving

On 01/29/2012 06:15 PM, Adrien wrote:
> 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

Here it is:

  mkosik@desktop:~$ cat /usr/lib64/ocaml/deriving/META
  name="deriving"
  version="0.1.1a"
  requires="%{camlp4}"
  description="%{description}"
  # need a syntax here XXX