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 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 Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=31.170.123.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=31.170.123.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=31.170.123.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible 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 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