From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id E3EAA2DF6 for ; Wed, 6 Mar 2019 11:04:55 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,447,1544482800"; d="scan'208";a="372166155" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Mar 2019 12:04:54 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9FBE6825F0; Wed, 6 Mar 2019 12:04:54 +0100 (CET) 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 4786B7F61F for ; Wed, 6 Mar 2019 12:04:50 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=Pass smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@relay11.mail.gandi.net IronPort-PHdr: =?us-ascii?q?9a23=3AepLWaRd3CHKuluuefRD9hEO6lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcW8bB7h7PlgxGXEQZ/co6odzbaP6+a4ACQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagfb9+Ngm6oRjMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hy?= =?us-ascii?q?gbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTyJPDIOi?= =?us-ascii?q?YYUMDeUBM/tWoIbhqFUBsBSzHhWsBPr1xzNUmnP6wa833uI8Gg/GxgwgGNcOvW?= =?us-ascii?q?zaotrvMqcSUP66zK3Qwjjec+tW3zb86IzJchs8pvyDQKh/cczQyUYxEwPJlE6f?= =?us-ascii?q?qZH7MDOT1+UNt2mb4vF+WuK1kW4osR1xojm2xscxlIbFnJ4aylDd+Ch/3Y07K9?= =?us-ascii?q?q4SEthbt6lFptdry6aN4pqQsMiXmFnozw2xaEBuZ6+eiUB1ZcpxwbHZvCZboSF?= =?us-ascii?q?4AjvWeSNLTtimX5oerGyiwys/UWu1+HwTtS43VRJoyZfj9XBsnIA2wbN5sWJRP?= =?us-ascii?q?Zx5Fqt1SqO2g3V9+pKO1o7lbDBJJ4k2rMwloQcsUDEHiLugkX5kquWeV8k++S1?= =?us-ascii?q?9ujreLDmqYWdN49wkA3+Pb4hmsqiDuQ5KAQOWXaU+fik2L3i+032XqlKg+Uonq?= =?us-ascii?q?XEsp3WP8YWqrKjDwNI0Isu6AyzAymo3dgFhXUHKUhKeBODj4jnIVHOJ/X4AO+i?= =?us-ascii?q?jFu2ljdrxu7JPrn7DprWM3jMjrHhfLd5605d0wc808pf54hOBbEdIfLzQ1Lxu8?= =?us-ascii?q?LCAhAlMwy42/znB8ll1oMCRWKPBbeUP7/Ivl+N4uIjOu2MZI4OuDbhMPUl/P7v?= =?us-ascii?q?jXohmVAHZ6Wp3J0XaGq5Hvt8OUmZb2DsiM8bEWgWpgo+UPDqiFqaXDFOYHayW6?= =?us-ascii?q?M85j4lB4OnForCR4GtgLma0yehBJJafGFGClaWEXfpbYqIQfkMaDjBavNmxxAN?= =?us-ascii?q?ULmsTccN0hWvuwLog+5rJ+/V9yteuZXn1dd49cXSkwsz/Hp6FZLZm2qESmU8g3?= =?us-ascii?q?gFXSR+iKt2pEg4zlaYzYB5heZZHJpd/aUafB09MMvwxup7BtTFcJbHbNOIAAKq?= =?us-ascii?q?S9OnDDV3RM88xc0KYm5wAc+rkhHawifsCL9DxO/DP4A97q+Jhyu5HM160XuTkf?= =?us-ascii?q?B51wB3EPsKDnWvg+tEzyaWAofIl0uDkKPzKfYRxjTE6Gaa0GfIt0EKCVcsA5WA?= =?us-ascii?q?ZmgWYw7tlfq8/lnLFuP8BK49OxdA0NOPbKBKOIWw0Ad2Acz7MdGbWFqf3me9AR?= =?us-ascii?q?HSmuGWYY7jajxEmiDUCUxCnAkV8XfAMwUiVH+s?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D8AQDZqH9ch+eyRtlkH4RwgQOEL5Nkg?= =?us-ascii?q?g2aHg0jCYRAAoQuGgcBBDQSAQEDAQEDAQMBAQETAQEBCgsJCCkjDII6KQGCZwE?= =?us-ascii?q?EASNbCwsaAhgOAgJHEAYBgzQBgW0MC6tRgS+FRINbgQgFgQskiymBCYENhCODH?= =?us-ascii?q?gKBYYMKLYIqAoxFl0oHAoEihieLUIFnD5E5im+BEoRNjHmBXoF3gUCCbYIjg1S?= =?us-ascii?q?KVD6BOo0OAQE?= X-IPAS-Result: =?us-ascii?q?A0D8AQDZqH9ch+eyRtlkH4RwgQOEL5Nkgg2aHg0jCYRAAoQ?= =?us-ascii?q?uGgcBBDQSAQEDAQEDAQMBAQETAQEBCgsJCCkjDII6KQGCZwEEASNbCwsaAhgOA?= =?us-ascii?q?gJHEAYBgzQBgW0MC6tRgS+FRINbgQgFgQskiymBCYENhCODHgKBYYMKLYIqAox?= =?us-ascii?q?Fl0oHAoEihieLUIFnD5E5im+BEoRNjHmBXoF3gUCCbYIjg1SKVD6BOo0OAQE?= X-IronPort-AV: E=Sophos;i="5.58,447,1544482800"; d="scan'208";a="372166130" Received: from relay11.mail.gandi.net ([217.70.178.231]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Mar 2019 12:04:37 +0100 Received: from hehey.local.mail (106.233.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch [178.197.233.106]) (Authenticated sender: daniel.buenzli@erratique.ch) by relay11.mail.gandi.net (Postfix) with ESMTPSA id 82FC6100011; Wed, 6 Mar 2019 11:04:36 +0000 (UTC) Date: Wed, 6 Mar 2019 12:04:34 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Damien Doligez , caml users Message-ID: In-Reply-To: <50013A0A-B5B3-47B7-BADF-32A9A94D9C15@inria.fr> References: <50013A0A-B5B3-47B7-BADF-32A9A94D9C15@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [Caml-list] 4.08.0+beta2 Reply-To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Loop: caml-list@inria.fr X-Sequence: 17386 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Having installed the beta1 this invocation: > opam switch create ocaml-variants.4.08.0+beta2 --repositories=3Ddefault= ,beta=3Dgit+https://github.com/ocaml/ocaml-beta-repository.git=C2=A0 Resulted in:=C2=A0 =C2=A0 =5BERROR=5D No compiler matching 'ocaml-variants.4.08.0+beta2' fou= nd, use 'opam switch list-available' to see what is available, or use '--= packages' to select packages explicitly. Updating the beta repo manually which was registred by my first install w= ith=C2=A0 =C2=A0 opam update beta and then applying the above command works. Best,=C2=A0 Daniel