From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7ECC57FE36 for ; Tue, 28 Jun 2016 17:18:17 +0200 (CEST) IronPort-PHdr: 9a23:/x5FehV68ev6QBSmhwdkX4xIIxXV8LGtZVwlr6E/grcLSJyIuqrYZhyOt8tkgFKBZ4jH8fUM07OQ6PG4HzVbqsbY+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLshrj0osaYM1wArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskyJdgyC6WcGVX1S2j9JCAjM4RWwFsP0syD6v+d5njKdMMLqV7cscTWk86pvDhTvjXFUGSQ+9TTrist1hbkTjxuzrhN5yo/ObcnBKPp5e6rGVdwTV2NOWM9QTSEHBZmzOdhcR9EdNPpV+tGu72AFqgGzUEz1XLvi Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=thomas.gazagnaire@gmail.com; spf=Pass smtp.mailfrom=thomas.gazagnaire@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f67.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=74.125.82.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 74.125.82.67 as permitted sender) identity=mailfrom; client-ip=74.125.82.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f67.google.com) identity=helo; client-ip=74.125.82.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wm0-f67.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D+AACGlHJXf0NSfUpbhBR9vE+FdoExPBABAQEBAQEBAREBAQkLCwkfMYIyghsBAQMBEigGATgBAwELAQUFOws0AQUBHAY1h3QDDwgECqU3gTE+MY9/BYcuJw2ECgEKAQEBARoCAQUQiA+CVoRAgyyCEh0FmQKGCIkYbYdnDoVcjkAwgQ81VIFGQIE2bYkwAQEB X-IPAS-Result: A0D+AACGlHJXf0NSfUpbhBR9vE+FdoExPBABAQEBAQEBAREBAQkLCwkfMYIyghsBAQMBEigGATgBAwELAQUFOws0AQUBHAY1h3QDDwgECqU3gTE+MY9/BYcuJw2ECgEKAQEBARoCAQUQiA+CVoRAgyyCEh0FmQKGCIkYbYdnDoVcjkAwgQ81VIFGQIE2bYkwAQEB X-IronPort-AV: E=Sophos;i="5.26,541,1459807200"; d="scan'208";a="224547599" Received: from mail-wm0-f67.google.com ([74.125.82.67]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Jun 2016 17:18:02 +0200 Received: by mail-wm0-f67.google.com with SMTP id r201so6765463wme.0 for ; Tue, 28 Jun 2016 08:18:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=QubzGW0hGboPUMgRqjqS4ZhTQJcE3RcEACPVydbu1Dw=; b=ZWAOlVxL+taF/yPhrt2FNLvkC95V/SUetlZB+ryi8IFZVn2yhoUcSAdo8EUvUuJec9 t6nvXSugifJZw0Gw2POjNxjH4i9/h6MC55d+QRIwiU08MeTU3hRdFhSHqQasM4P68Wb/ HzK/0kURkOQSZKngYuXUGv82ytjWJ47hLxXWXoaAwuMvkxm11Zih+BlPlk6ffONGexZT 9eBUN8tErCasb7qDHUkGNrKTBty9jjmClBvdhPZd8m50bWupwbuiH+d9nM0VnIISCPum i44EBj834uaqjVdCPfjtI2VVXkwO0KHHnUwg/ZXp02sscXM0V/ifK3R6H2cxirhnc/UD jN+w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:mime-version:subject:from:in-reply-to :date:cc:content-transfer-encoding:message-id:references:to; bh=QubzGW0hGboPUMgRqjqS4ZhTQJcE3RcEACPVydbu1Dw=; b=gC+r7y9EIZal906apd1A13KyO69DV/EGj8/TZuD8sgwSOrxaNNdovR0Yci1w+KEhbu d+jhDjIvQ1HlkSA66EWRE3h7wZGHbSL+6J69Sd0nFLXMcfURz91yrNV7/1L58MI8Q7fh 4IjbAhpnBv7/RNTW1O6WhwJFHl1qJaCCrYvmIQ6+FuytwoBmHJtcIUpW5RJKQk53B+6H eWYOD4eFTYH9DjeFGyBkgvBCpuk19lfVQ6VsnH7FEF1XG9/lZNcG5yZimTF2F866nZg3 6l7SmT1yNYyj0uY33jL6A+ar7QYQehGgCzM7k9cpWxmEMT3toMYbkvCFTi+vDb6dT5XS ukFg== X-Gm-Message-State: ALyK8tKYUjUDUs0hKd4hT2woyYDEdmQ1wBuitJ9nFyKJaiJ7de0RkdJoUOkZGOjVFc/bsQ== X-Received: by 10.28.167.136 with SMTP id q130mr17512560wme.62.1467127081950; Tue, 28 Jun 2016 08:18:01 -0700 (PDT) Received: from [172.16.10.60] ([194.72.166.2]) by smtp.gmail.com with ESMTPSA id j4sm1108315wjg.20.2016.06.28.08.18.00 (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Tue, 28 Jun 2016 08:18:00 -0700 (PDT) Sender: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) From: Thomas Gazagnaire In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B130@IRSMSX102.ger.corp.intel.com> Date: Tue, 28 Jun 2016 16:17:59 +0100 Cc: "caml-list@inria.fr" Content-Transfer-Encoding: quoted-printable Message-Id: <8D5CEB2D-D5E7-416C-BFCF-DA50784F566F@gazagnaire.org> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B130@IRSMSX102.ger.corp.intel.com> To: "Soegtrop, Michael" X-Mailer: Apple Mail (2.3124) Subject: Re: [Caml-list] Different opam file for core-113.33.03 in official tar.gz and local opam repo (one has explicit dependency version numbers, the other not) > I wonder where opam gets the opam files for core from and why they are di= fferent. Does opam somehow modify the opam files in the local repository? The official source of truth for opam files is https://github.com/ocaml/opa= m-repository That repository is curated by the maintainers to fix build/packaging issues= . The fixes usually get back into the upstream distribution for the next re= lease of the packages. Best, Thomas