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 4E7CA5D5 for ; Mon, 7 Jan 2019 09:52:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,450,1539640800"; d="scan'208";a="362786080" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Jan 2019 10:52:13 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E3B6382548; Mon, 7 Jan 2019 10:52:12 +0100 (CET) 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 9498C7F61F for ; Mon, 7 Jan 2019 10:52:06 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com IronPort-PHdr: =?us-ascii?q?9a23=3ATBahcRPd4u4Dojay4/Yl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/n8rarrMEGX3/hxlliBBdydt6oUzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlLiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZUMhfVzJPDIC+?= =?us-ascii?q?YIsBEuQOMvpXoYbgqFYVsRu+HBOhCP/zxjNUhHL727Ax3eQ7EQHB2QwtB9wAv2?= =?us-ascii?q?7SrNX0KqgSVfi6wbTU1TXFbvJW3Tb945XPfx88u/6MW7NwftTVyUU1DAzFk0uf?= =?us-ascii?q?qYrkPjOR1+QAqHaU7/B6Ve21l24nqhhxoiWxycs2lobJhpsYx1bZ/it3x4Y1IM?= =?us-ascii?q?e3SE99YdO8H5tQtj2aN4trQsw5WW1npCE6yrgAtJWmfyYK0IwqyhDCZ/CdboSF?= =?us-ascii?q?4A7vWPyMLTtmin9pYq+zihi9/ES41+HxVMq53ExXoidBkNTArG4B2hLR58SdSf?= =?us-ascii?q?Zw/EGs0iuV2Q/J8OFLO0U0mLLbK5E/xr4wkYIesV/GHi/qgEX6lqGXeVs/9eim?= =?us-ascii?q?8evofqnmpp6bN49ykA3xLqMumsmnDeQ5NAgBQXSb9Pyy2bH+50H1XbdHguEsnq?= =?us-ascii?q?XErpzXK94XqrO3DgJayooj7gywDzai0NQWh3kHK1dFdQqagIfzPVHOIe73DfOl?= =?us-ascii?q?j1u3jTdk2fbGP7zlApXMNXXMjq3hfaxn5E5AyQoz1M1f6IxOBr4dIPL/QlXxu8?= =?us-ascii?q?DADh8lLwy0xP7qB8ln2YMbXWKDG6uZMKLJsV+U/e8vOOmNZIoNuDnnMfQl5vju?= =?us-ascii?q?jWU4mVAHZ6Wp04EXYmiiHvt6O0WZfWbsgtAZHGcRvgo+Terqh0CcXj5JeXm/RK?= =?us-ascii?q?M95jA+CI29F4fMXJqhgL2H3CehH51ZfHpKCl6WESSgS4LRUP4JbGeWI9R9uj0C?= =?us-ascii?q?T7moDYE7kVmVNQXz0KZmI+zj2iweuZ/52cI9s/benxgp6T15CYKd0meBQnt5hE?= =?us-ascii?q?sJQSU31eZxuxou5E2E1P1UivpZGNhkzWdPQAM7fcrQxup7BtS0UB/MeMWNSX6r?= =?us-ascii?q?WM+vHTAoU993yN9YMBU1IMmrkh2Wh3niOLQSjbHeQcVsqvuNjUi0HN50zjP97I?= =?us-ascii?q?dkilAnRsVVMmj/2vxy7RLaG4/QjkjfnKb4Lf1Ajh6Iz3+KyC+1hG8dSBR5CPmX?= =?us-ascii?q?UGoFb1fXtMn0oEjCHef3VOYXdzBZwMvHEZNkL93kiVIcHaX4PcjGJX28kWm5Dg?= =?us-ascii?q?qJwbXKZ43vKT0Q?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DlAwBdIDNch4Z7qh9iHgEGBwaBZQKCa?= =?us-ascii?q?HASJ4N/iHmNFJlpDSMJhEACghwGBjUFDAEDAQECAQEBAQETAQEBCgsJCCMBAQQ?= =?us-ascii?q?jDII6KQGCZwEEASNbCwsaAhgOAgJHEAYBEoMiAYF5DAumBoEvhUGDUIEIBYELj?= =?us-ascii?q?D2BDYQjgx4CgWGDCC2CKgKhXAcCgRaFfop1gVGILodwiWKFBYtWgV6BdoFAgmy?= =?us-ascii?q?CNYNUilQ+MwGBBol6AQE?= X-IPAS-Result: =?us-ascii?q?A0DlAwBdIDNch4Z7qh9iHgEGBwaBZQKCaHASJ4N/iHmNFJl?= =?us-ascii?q?pDSMJhEACghwGBjUFDAEDAQECAQEBAQETAQEBCgsJCCMBAQQjDII6KQGCZwEEA?= =?us-ascii?q?SNbCwsaAhgOAgJHEAYBEoMiAYF5DAumBoEvhUGDUIEIBYELjD2BDYQjgx4CgWG?= =?us-ascii?q?DCC2CKgKhXAcCgRaFfop1gVGILodwiWKFBYtWgV6BdoFAgmyCNYNUilQ+MwGBB?= =?us-ascii?q?ol6AQE?= X-IronPort-AV: E=Sophos;i="5.56,450,1539640800"; d="scan'208";a="290932936" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([31.170.123.134]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Jan 2019 10:52:05 +0100 Received: from hehey.local.mail (87.237.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch [178.197.237.87]) by smtp.webfaction.com (Postfix) with ESMTPSA id A198E6004E974; Mon, 7 Jan 2019 09:51:50 +0000 (UTC) Date: Mon, 7 Jan 2019 10:52:04 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: caml-list@inria.fr, =?utf-8?Q?S=C3=A9bastien_Hinderer?= Message-ID: In-Reply-To: <20190107092510.GA5550@prajna.paris.inria.fr> References: <20190107081212.GA5227@prajna.paris.inria.fr> <20190107092510.GA5550@prajna.paris.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] Opam: using both 1.2 and 2.0 Reply-To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Loop: caml-list@inria.fr X-Sequence: 17275 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: On 7 January 2019 at 10:25:10, S=C3=A9bastien Hinderer (sebastien.hinderer@= inria.fr) wrote: > Will try that! Thanks! But still have to figure out how to install opam > 1 I guess, because it will probably not be possible to install it > through the distribution's package manager. opam dev's are kind enough to provide you with a selection of binaries here= :=C2=A0 =C2=A0=C2=A0https://github.com/ocaml/opam/releases/tag/1.2.2 I never tried them though. Otherwise given an OCaml install, compiling from= the tarball should be easy has never been a problem since it's self-contai= ned. Best, Daniel --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs=