From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <monnier.florent@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id E75707F1C3
	for <caml-list@sympa.inria.fr>; Mon, 26 Nov 2012 23:36:22 +0100 (CET)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  monnier.florent@gmail.com) identity=pra;
  client-ip=209.85.220.54;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="monnier.florent@gmail.com";
  x-sender="monnier.florent@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  monnier.florent@gmail.com designates 209.85.220.54 as
  permitted sender) identity=mailfrom; client-ip=209.85.220.54;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="monnier.florent@gmail.com";
  x-sender="monnier.florent@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-pa0-f54.google.com) identity=helo;
  client-ip=209.85.220.54;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="monnier.florent@gmail.com";
  x-sender="postmaster@mail-pa0-f54.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqIBAEzus1DRVdw2m2dsb2JhbABEhWEBujoIJAEBAQEBCAkLCRQngmUBGx4DEhBdAREBBQEiG4dyAQMPnzyCbIwzgniFAAoZJw1ZiHUBBQyOEIJcA5YBjmQWKYQDDg
X-IronPort-AV: E=Sophos;i="4.83,323,1352070000"; 
   d="scan'208";a="163892119"
Received: from mail-pa0-f54.google.com ([209.85.220.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Nov 2012 23:36:21 +0100
Received: by mail-pa0-f54.google.com with SMTP id bi5so3335754pad.27
        for <caml-list@inria.fr>; Mon, 26 Nov 2012 14:36:20 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=ODeVNGI2AQVuVw5YNNGUTdjcASraZJLRL4lbSsEhZW4=;
        b=dZrYz3HN9+38m5TrV+S2074ukADRHWI+csFBjxGZaeEd8n0qllU3Kfrb0uLsfgy8hS
         b0gEXnXEgKwjus3nAZfMNo5z2G6teFZC7DI8ug/UbY6kH+s+AMjJqTdZLHTAGTbqFBJC
         i+xRwQgGNmYLq1gJleN10mH6MJ0rXtv86TpNHEbiIh8cixKY4b1m2naDxJTcNVHnOo+o
         NC2a/83IKFACAs4E1WPYc7eLpNhYpUZWtWIuhO+kE8knpWR6cC7vGw/2JnwnKyqvZaTS
         FQU+5AAMhJMyZb16TUEM1+PiaVba++DytAl9CNEm5W+xGdnd4v2MungiHIAs6zeOhqxE
         XxBg==
MIME-Version: 1.0
Received: by 10.68.229.194 with SMTP id ss2mr42153303pbc.17.1353969380587;
 Mon, 26 Nov 2012 14:36:20 -0800 (PST)
Received: by 10.68.16.197 with HTTP; Mon, 26 Nov 2012 14:36:20 -0800 (PST)
Date: Mon, 26 Nov 2012 23:36:20 +0100
Message-ID: <CAE1DttA7evzf882TYzi1cSGiOVUybFCjpNfiTcG3aYGtrqyL_w@mail.gmail.com>
From: Florent Monnier <monnier.florent@gmail.com>
To: Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
X-Validation-by: monnier.florent@gmail.com
Subject: [Caml-list] topdirs.cmi in 2 dirs warning

Hi,
with ocaml-4.00.1 there are warnings with topdirs.cmi in 2 directories:

$ md5sum /usr/lib/ocaml/topdirs.cmi /usr/lib/ocaml/compiler-libs/topdirs.cmi
7d6713e935533a6a4cf6c4f72cef5af1  /usr/lib/ocaml/topdirs.cmi
7d6713e935533a6a4cf6c4f72cef5af1  /usr/lib/ocaml/compiler-libs/topdirs.cmi

Should we just ignore it? For packaging purpose should we remove one of these?
If yes, which?

Thanks