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 127627F61F for ; Mon, 7 Jan 2019 22:11:31 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.56,451,1539640800"; d="scan'208";a="291021675" Received: from prajna.paris.inria.fr ([128.93.65.171]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 07 Jan 2019 22:11:30 +0100 Received: from shindere by prajna.paris.inria.fr with local (Exim 4.92-RC4) (envelope-from ) id 1ggcBG-0002dv-Ig for caml-list@inria.fr; Mon, 07 Jan 2019 22:11:30 +0100 Date: Mon, 7 Jan 2019 22:11:30 +0100 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20190107211130.GB10086@prajna.paris.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <20190107081212.GA5227@prajna.paris.inria.fr> <20190107092510.GA5550@prajna.paris.inria.fr> <20190107155006.3wlsogzukeypmreo@topoi.pooq.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20190107155006.3wlsogzukeypmreo@topoi.pooq.com> Subject: Re: [Caml-list] Opam: using both 1.2 and 2.0 Hi, May thanks for your response. > You could try dowloading the .deb from an older Deboan release and using dpkg. > That's if the package depedencies haven't changed much. > > Or you could try edit /etc/apt/sources.lst, > apt-get update, > apt-get-install opam > and then put sources.lst back the way it was and > apt-get update > again. > > That requires the old dependencies not to conflict with the new ones. I don't think that would work because dpkg wouldn't let you intall two packages with the exact same name. But that's okay, I'll figure something out and report back here, thanks. Sébastien.