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 7FBBC80211 for ; Mon, 2 Oct 2017 16:00:57 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Atpob1BdUAuNMsv+64f96SbkOlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc29ZB7h7PlgxGXEQZ/co6odzbGJ4+a9ASQp2tWojjMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpW1aJhKqPgNw?= =?us-ascii?q?IqzoAYPIlIzj3Om3/9jXYh5UrDu7e7J7ahus+1b/rM4T1KJkK6J57xLFonJWcv?= =?us-ascii?q?xbyW95bQaamRf4zt2995li92JXof13pJ0IarnzY6ltFe8QNz8hKW1gvMA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DZAQB1RdJZ/zPhmQVbHQEFAQsBGAEFA?= =?us-ascii?q?QsBgzJkbieOGHSObgGBVDSWGg6CBAolhRYKhDk/GAEBAQEBAQEBAQEBaiiCMyK?= =?us-ascii?q?DBAYDATUBAYE8ikcBC6QRgxKDCQcCiCYBAQEHAQEBAQEBAQEXAQMFgy2CAoNmC?= =?us-ascii?q?4c+BIN2gjKHSZluh16HP4VIcpIXkhyDOIE5HziBDoEFCFsBgnSEFz82ihEBAQE?= X-IPAS-Result: =?us-ascii?q?A0DZAQB1RdJZ/zPhmQVbHQEFAQsBGAEFAQsBgzJkbieOGHS?= =?us-ascii?q?ObgGBVDSWGg6CBAolhRYKhDk/GAEBAQEBAQEBAQEBaiiCMyKDBAYDATUBAYE8i?= =?us-ascii?q?kcBC6QRgxKDCQcCiCYBAQEHAQEBAQEBAQEXAQMFgy2CAoNmC4c+BIN2gjKHSZl?= =?us-ascii?q?uh16HP4VIcpIXkhyDOIE5HziBDoEFCFsBgnSEFz82ihEBAQE?= X-IronPort-AV: E=Sophos;i="5.42,469,1500933600"; d="scan'208";a="293758946" Received: from bark.recoil.org ([5.153.225.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 Oct 2017 16:00:56 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id c20d5ba2; Mon, 2 Oct 2017 15:00:55 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=from :content-type:content-transfer-encoding:mime-version:subject :message-id:date:cc:to; s=selector1; bh=5i4cf6MSr2kN0Tq8LwdGgeMY CEQ=; b=N3eYBLpMnyheGRKoOESzo/gPsiEKhhKqpO92rBxwjHCnrEp0BtvJP8Wc BsQQTGxpLDyM83Ca16LRuOQrFkIx9Uk1E8RAUpoYQl2ih2wCFnI8W4JUJn9YYz+4 zXKJstErPFsbXFmVkpOBFIW/0ouv7fZ6cbyjvPDJLVkn1ELJyTg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=from :content-type:content-transfer-encoding:mime-version:subject :message-id:date:cc:to; q=dns; s=selector1; b=N0Q/XoWOn/oaTh4o6j WKPwCXWjWAN482RX7u+xtn89HhTUbP7yiFjBAnlwxDCa+t+/nHhPFjHLlsM7EWRK j28NvJsh9WnA0jyhEkQDjOO0rZxEDNzS6+eoEIaA6bIPsuSvKrigc5KINN8OYmNO 877FlOfew18/gsT53a0GK9ezk= Received: by bark.recoil.org (OpenSMTPD) with ESMTP id c75e2a3e; Mon, 2 Oct 2017 15:00:55 +0100 (BST) From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: <45410078-83E5-4216-88E5-7ACBE02E6E7F@recoil.org> Date: Mon, 2 Oct 2017 15:00:55 +0100 Cc: opam-devel To: caml users X-Mailer: Apple Mail (2.3273) Subject: [Caml-list] GitHub PR compiler switches now have their own remote Dear all, I would like to draw your attention to a rearrangement of the opam-reposito= ry to streamline the number of compiler variants that are available by defa= ult: =20 https://discuss.ocaml.org/t/opam-compiler-prs-are-migrating-to-their-own-re= mote/905 If you were using the "opam switch 4.06.0+pr944" functionality before, it w= ill continue to work if you add this remote to your development environment: opam repo add ocaml-pr https://github.com/ocaml/ocaml-pr-repository.git Removing this from the main opam repository in turn makes it far easier for= us with preparations for the upcoming switch to simultaneously support opa= m1 and opam2-format repositories. More on that later :) regards, Anil=