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 E52945D5 for ; Mon, 7 Jan 2019 21:11:38 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,451,1539640800"; d="scan'208";a="362903246" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Jan 2019 22:11:37 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id D19F37FBF3; Mon, 7 Jan 2019 22:11:37 +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 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 Reply-To: =?utf-8?Q?S=C3=A9bastien?= Hinderer X-Loop: caml-list@inria.fr X-Sequence: 17277 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: 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. -- 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