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 C94245D5 for ; Sat, 1 Dec 2018 17:07:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,303,1539640800"; d="scan'208";a="358291436" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Dec 2018 18:07:40 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8815082561; Sat, 1 Dec 2018 18:07:40 +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 62082824CF for ; Sat, 1 Dec 2018 18:07:31 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=itz@very.loosely.org; spf=Pass smtp.mailfrom=itz@very.loosely.org; spf=Pass smtp.helo=postmaster@very.loosely.org IronPort-PHdr: =?us-ascii?q?9a23=3A9nwoqhGAPTed4VNdR/rUM51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78ocqwAkXT6L1XgUPTWs2DsrQY07qQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VjO/4ad2Ux/okD?= =?us-ascii?q?kIOCIl8G/ZjcxwibhUoBOnpxdix4LZb4WYOP94c6jAf90VWHBBU95fWSJBHI2y?= =?us-ascii?q?cogBD+QOMulEsobypVUBoACiBQWwHu7j1iNEi2Xo0aA8zu8vERvG3AslH98Ws3?= =?us-ascii?q?rbttP1P7oRXuC0yanIyCvMb+lT2Tjn7ojDbxcsofCQXbNxasfR11cgFxnFj1mK?= =?us-ascii?q?rYzlODSV1v8TvGif7+tsT+Wvi3QoqwxopDWk28kiio7Mho0Py1DE8z10wIMyJd?= =?us-ascii?q?2/T053e8KrEJxVtyycKoB4QdsiTnl1tCs4xLAKo4C3cSgKxZg92RLTdvyKf5KJ?= =?us-ascii?q?7x/nUuuaPC12i2h/eL2lgha/6UigxfP4VsmzyFtKsDRKksPMt3wX0xzT7c+HSu?= =?us-ascii?q?Bj8Uel2TeDzQfT6vtLIUwslKrbLYAuwqIom5YOs0nOEDX6lFv2gaKWbEko5PWk?= =?us-ascii?q?5uT9brjnopKQL4p0hRv/MqQqlMy/G+M4Mg0WUmia5eS91abu/VPnT7VQjvw6iK?= =?us-ascii?q?3ZsJfdJcQAuKG5Bw9U3pwk6xalADeqyM4YkmUfLFJZZBKHiJDkNE3UL/D9Cfez?= =?us-ascii?q?mlCskDZwx/DaJbDhGZXMLn3bkLj7Z7p96khcyBAyzd9F/Z5UBKsBc7rPXRr6vd?= =?us-ascii?q?ncSxs4KBCcwuD9Cdw72JlNd3iIB/q4OaWag16N4+81JuCKLNsUpCTVNfU/9rjq?= =?us-ascii?q?ingilFsMO66z0s1EOziDAv16LhDBMjLXidAbHDJW71NvHtyvs0WLVHtoX1j3Wq?= =?us-ascii?q?s94j8hD4f/XdXdS5q8xriG2zy2GowQYXpJWAnVTSXYMr6cUvJJUxq8Z9d7m2VU?= =?us-ascii?q?B6asUZ5n0RaprwL+2vxgNOWGonRF56Km78B84qjorT939TFwCJ3NgX+AVXAymm?= =?us-ascii?q?QPXDIyzeZ4u0Mvk1o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DCAQBhvwJc/0XX/61jHgEGBwaBUwcLA?= =?us-ascii?q?QGCAiVBgQInmFYPAwEBAQEBAQaBMQQUiQuOKYF6DRsQAYRAAoM0GwYBBDIHDQE?= =?us-ascii?q?DAQECAQEBAQFsHAxCFgGBXQyCewEEATo0EAsLIRMSDy0bgzuBdAUIpnGKJYwcF?= =?us-ascii?q?3iBB4N1LoVOhQ4CiRyHDpAWCYcAijELGIFbhRGKOphtgU0GK4FVTTAIO4JsCYV?= =?us-ascii?q?/inQhMIEFAQGITYRxAQE?= X-IPAS-Result: =?us-ascii?q?A0DCAQBhvwJc/0XX/61jHgEGBwaBUwcLAQGCAiVBgQInmFY?= =?us-ascii?q?PAwEBAQEBAQaBMQQUiQuOKYF6DRsQAYRAAoM0GwYBBDIHDQEDAQECAQEBAQFsH?= =?us-ascii?q?AxCFgGBXQyCewEEATo0EAsLIRMSDy0bgzuBdAUIpnGKJYwcF3iBB4N1LoVOhQ4?= =?us-ascii?q?CiRyHDpAWCYcAijELGIFbhRGKOphtgU0GK4FVTTAIO4JsCYV/inQhMIEFAQGIT?= =?us-ascii?q?YRxAQE?= X-IronPort-AV: E=Sophos;i="5.56,303,1539640800"; d="scan'208";a="287519111" Received: from very.loosely.org ([173.255.215.69]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Dec 2018 18:07:30 +0100 Received: from itz by ahiker.mooo.com with local (Exim 4.91_51-662a067d) (envelope-from ) id 1gT8ZH-0005YS-9g for caml-list@inria.fr; Sat, 01 Dec 2018 08:56:35 -0800 Date: Sat, 1 Dec 2018 08:56:34 -0800 From: Ian Zimmerman To: caml-list@inria.fr Message-ID: <20181201165634.tajr6ihmj7n42xlt@matica.foolinux.mooo.com> References: <20181126101448.3ee5jgz4c6ulsbbr@first.in-berlin.de> <20181126225522.GY3935@church> <20181127132914.ifjkrrsg677zcy6r@first.in-berlin.de> <20181127150629.GC1374@carty> <20181127154929.h2sdvjhwzyyfwior@first.in-berlin.de> <2151bed9-3134-50df-9199-c74eafbd31fc@kerguelen.org> <20181201151221.xv5chaq7oua2nlo3@topoi.pooq.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20181201151221.xv5chaq7oua2nlo3@topoi.pooq.com> User-Agent: NeoMutt/20180716-7-037281 Subject: Re: [Caml-list] How to start with the curren toolset? Reply-To: Ian Zimmerman X-Loop: caml-list@inria.fr X-Sequence: 17199 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 2018-12-01 10:12, Hendrik Boom wrote: > The opam in my distro (Devuan Jessie) isn't up to date. I gather I > should start with an up-to-date opam. > > Presumably there's a way to install current opam from scratch without > starting with dune. > > Or maybe I should ask: what *is* the current starting point? > One possibility is to add the unstable repos to your debian apt configuration, but block them for most packages except opam. I am quite confident that this is possible though I no longer use debian on the desktop. -- Please don't Cc: me privately on mailing lists and Usenet, if you also post the followup to the list or newsgroup. To reply privately _only_ on Usenet and on broken lists which rewrite From, fetch the TXT record for no-use.mooo.com. -- 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