From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D8CF77F750 for ; Mon, 20 Mar 2017 14:48:14 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jdimino@janestreet.com; spf=Pass smtp.mailfrom=jdimino@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.78 as permitted sender) identity=mailfrom; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ArUyOThN024sRS4c6eJkl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/z6rarrMEGX3/hxlliBBdydsKMZzbSJ+Py/EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT69bL9oLRi7rwrdu8YUjIB/Nqs/1xzFr2dSde?= =?us-ascii?q?9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLY?= =?us-ascii?q?TQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVRnlgz?= =?us-ascii?q?oFOTEk6mHaksx+gqxYrhy8uRJw35XZYJ2JOPdkYq/RYc8WSGhHU81MVyJBGIS8?= =?us-ascii?q?b44XAuQFI+lYtZfyp14PrRSgGAKiCuLvyjpJhn/w2q0xzuMsEQPb0wwhGtIOsX?= =?us-ascii?q?LUrNLuOacQS++1yrfHzS7fb/NMxzjy9pTIfgo9rvGLWLJ9aMzcwlQhGQPCi1Wf?= =?us-ascii?q?s43lPzWN2+QCsmib8+pgVf+0hGI9tw5xpT2vyt8uiobTgIIa1EvE9TljwIkrO9?= =?us-ascii?q?K4VFR3bsKjEJtVsSyRKoh4Qts6Tmxmuys20KAKtYK7cSQQ1pgr2wLTZ+aFfoWL?= =?us-ascii?q?+h7vSvqdLDNiiH9meL+znQi+/VWgx+HmVMS4zlBHpTdfnNbWrHACzRnT59CHSv?= =?us-ascii?q?Rj+keh3i6C1wXc6+FDPEA0ibfXJ4QkwrEql5oTtV7PHi3sl0XwkqCWbVkk+vK2?= =?us-ascii?q?5Ov5frXqvIOTN4hxig3mM6QunNKwAfggPwUAXGWX4/mw2KHj8EHjXrlGkuE6nr?= =?us-ascii?q?PbvZ3ZPcgbo7S2Aw5R0oYt8Ra/CDKm3cwanXYaLVJFfROHj47uO1zVIvD3F/G/?= =?us-ascii?q?jEq3kDd33fDJIKPuAonXInffl7fheK5x61RAxwor0dBf+5VUB6kdL/3pX0/xsM?= =?us-ascii?q?XUDhs4Mwyv3+bqE85914MbWWKXGKCVKqLSsVmS5uIuOeaAfoEVuCyuY8QisrTl?= =?us-ascii?q?hHo93FscZrWB3J0NaXn+EO4saxGSaH/ox9MACnsivwwkTeWshkfUFXYZYH27Wq?= =?us-ascii?q?Z57TYhBaqpCoDMQo2imrucxDz9FZpTLCgSDVuFFHOtfIKeVt8DbyWdJsJuiDsZ?= =?us-ascii?q?TaPnQIgkg0KArgj/nphqNOfR+yBQmZPm1d5yr7nRmRA39DpzJ8aU1WyWU3t5k3?= =?us-ascii?q?9OTDgzivMs6Xdhw0uOhPAry8dTEsZesqtE?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BpAABC3c9YfU7IaSZeHAEBFgEBBQEBh?= =?us-ascii?q?CWBCgeDW7Evgg4qiHwHPxgBAQEBAQEBAQEBARIBAQsUCFeCMyCCbB0BATglDwI?= =?us-ascii?q?mAiQSAQUBIgGKEgMLoRE/ixtogiaDCAEBBYc4AQEIAQEBAQEbAwUSeYVDjEmCX?= =?us-ascii?q?5xShnmLSoFjGIhbhlWIUIlAFB+BFR92RiMWCBcVWAWBeoRBdYlzAQEB?= X-IPAS-Result: =?us-ascii?q?A0BpAABC3c9YfU7IaSZeHAEBFgEBBQEBhCWBCgeDW7Evgg4?= =?us-ascii?q?qiHwHPxgBAQEBAQEBAQEBARIBAQsUCFeCMyCCbB0BATglDwImAiQSAQUBIgGKE?= =?us-ascii?q?gMLoRE/ixtogiaDCAEBBYc4AQEIAQEBAQEbAwUSeYVDjEmCX5xShnmLSoFjGIh?= =?us-ascii?q?bhlWIUIlAFB+BFR92RiMWCBcVWAWBeoRBdYlzAQEB?= X-IronPort-AV: E=Sophos;i="5.36,194,1486422000"; d="scan'208";a="217373777" Received: from mxout1.mail.janestreet.com ([38.105.200.78]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 20 Mar 2017 14:48:13 +0100 Received: from [172.27.56.106] (helo=tot-qpr-mailcore2) by mxout1.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.88) (envelope-from ) id 1cpxfQ-0001jW-JQ for caml-list@inria.fr; Mon, 20 Mar 2017 09:48:12 -0400 X-JS-Flow: external X-JS-Scanner-attachment: (ok) No attachments Received: by tot-qpr-mailcore2 with JS-mailcore (0.1) (envelope-from ) id BYz92c-Awe26Q-Sc; 2017-03-20 09:48:12.593113-04:00 Received: from mail-lf0-f72.google.com ([209.85.215.72]) by mxgoog1.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.88) (envelope-from ) id 1cpxfQ-0004JD-I7 for caml-list@inria.fr; Mon, 20 Mar 2017 09:48:12 -0400 Received: by mail-lf0-f72.google.com with SMTP id a6so73104998lfa.1 for ; Mon, 20 Mar 2017 06:48:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:from:date:message-id:subject:to; bh=jLvb3ZC5LejQYRD9EWmFMqOWBdTqWDOs4eeWqzguTZQ=; b=G4y4SixJYxgLjEOnCaM1dq2OuqOJIn8BfxImm3dnC2AxV9HBd9BC2wBewbJo6K85m0 vt3O7rwzOfoNIZCWEOzYxVgRuW42cfjtEn8OiKYjIp9WljoOjXfMkMer0OXV5n1GNuNi xL3yc4fJlTprZmSKWtgoPAKu/aVLR4VmIJcbo= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=jLvb3ZC5LejQYRD9EWmFMqOWBdTqWDOs4eeWqzguTZQ=; b=HMrS10T7Qf5AoHlCi1FT8SxXTXsL/Y1GjV9W6ZKDzUbJlmY76nmbi5cubD3sTDHRnA a6QrTSdnl6KaP5pLxmxCfSKf/iuyxyyP5VVrJjF62Sj7kqmM9rSjro2PablSrfIzuxiG Wt4os+qniy1rMa1Iyrc2OkN9fGh6u5v9mbxM9sXrUyVMMMarMZtREg4CF0oxvWbrzq2V Ze4awza7WOQfySGarVxkNq8KGM3ztGYZMtkPheQDqK0zdcETn+2ipZGVO7hmgzBEguUr uTzJdf6h6cRPky7GmgsHX2X3I1GNbGUGQ1I61mMyj/uRQci6I+1vpCaVDGoOboPJ4Bx3 UgHg== X-Gm-Message-State: AFeK/H1d0T23MHBki8SqymAKR9ZyjbZ1/wdIhtUT7/iNEBapm98eIWJE2d2CLMSdTSAK9AkcOvFmTV94Nv6XsfwTQX/D7yOwNcO4NSBS/v4NxK8plRuKhlg44Tf3UrbKMT5tdq0dEDDbm0YbgzqA X-Received: by 10.25.20.101 with SMTP id k98mr6959643lfi.13.1490017691517; Mon, 20 Mar 2017 06:48:11 -0700 (PDT) X-Received: by 10.25.20.101 with SMTP id k98mr6959637lfi.13.1490017691364; Mon, 20 Mar 2017 06:48:11 -0700 (PDT) MIME-Version: 1.0 Received: by 10.25.199.88 with HTTP; Mon, 20 Mar 2017 06:48:10 -0700 (PDT) From:Jeremie Dimino Date: Mon, 20 Mar 2017 13:48:10 +0000 Message-ID: To:"caml-list@inria.fr" , "ocaml-core@googlegroups.com" Content-Type: text/plain; charset=UTF-8 X-JS-Processed-by: mailcore Subject: [Caml-list] Jane Street development opam repository Hi, If you were previously using the opam repository for Jane Street development packages on github [1], you can now switch to a new url [2]: opam repo add janestreet-dev https://ocaml.janestreet.com/opam-repository This repository is a mirror of the github one but with static archives rather than git urls. This means that `opam update` will be much faster as it won't have to check the individual git repositories one by one. [1] https://github.com/janestreet/opam-repository [2] https://ocaml.janestreet.com/opam-repository -- Jeremie