From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 97A397F615 for ; Sun, 18 Dec 2016 18:04:20 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=xavier.leroy@gmail.com; spf=Pass smtp.mailfrom=xavier.leroy@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f45.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of xavier.leroy@gmail.com) identity=pra; client-ip=74.125.82.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="xavier.leroy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of xavier.leroy@gmail.com designates 74.125.82.45 as permitted sender) identity=mailfrom; client-ip=74.125.82.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="xavier.leroy@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f45.google.com) identity=helo; client-ip=74.125.82.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="postmaster@mail-wm0-f45.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AV50pXhfCjFmVOq86IQ8Ven0SlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc65YB7h7PlgxGXEQZ/co6odzbGH6Oa/BCdRut7B6ClEK8McEUddyI?= =?us-ascii?q?0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?= =?us-ascii?q?dKyuQtaBx+z+7e25+oXSbgNUn3L9JOoqdFTl5TnW4+kbh4d4K6V54BzOpzMce+?= =?us-ascii?q?lQyXlpJnqPmA7754Go+5l6tS9XvqRlv8VJVKG/e6UjUZRZCi4nOiY7/p7Frx7G?= =?us-ascii?q?GDuG+HoRSC0ynwBPEkCR3BjkX5rr9A/3rO1s8CicJ8z/C74uD2fxp5x3QQPl3X?= =?us-ascii?q?9UfwUy93va34kp1PpW?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CJAACgwFZYhi1SfUpdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFQEBAQECAQEBAQgBAQEBgwwBAQEBAWsOLlikJpUOgjSIEkATAQEBAQEBAQE?= =?us-ascii?q?BAQESAQEBCAsLCR0wgjMEARUBBIIXAQVAARInAwwBBQUYLjQBBQEcBgEMCAEBi?= =?us-ascii?q?E0DFwQKnmU/ilMPg0iDDQWDbicNg1cMHgIGCQEIhiSBfQiCVIohBY8Bi29mhWy?= =?us-ascii?q?KYoJFh0oPhi+OGYJJMoEUIQGBNk6CBIFKgglxAYYogU8BAQE?= X-IPAS-Result: =?us-ascii?q?A0CJAACgwFZYhi1SfUpdGwEBAQMBAQEJAQEBFQEBAQECAQE?= =?us-ascii?q?BAQgBAQEBgwwBAQEBAWsOLlikJpUOgjSIEkATAQEBAQEBAQEBAQESAQEBCAsLC?= =?us-ascii?q?R0wgjMEARUBBIIXAQVAARInAwwBBQUYLjQBBQEcBgEMCAEBiE0DFwQKnmU/ilM?= =?us-ascii?q?Pg0iDDQWDbicNg1cMHgIGCQEIhiSBfQiCVIohBY8Bi29mhWyKYoJFh0oPhi+OG?= =?us-ascii?q?YJJMoEUIQGBNk6CBIFKgglxAYYogU8BAQE?= X-IronPort-AV: E=Sophos;i="5.33,370,1477954800"; d="scan'208";a="250581342" Received: from mail-wm0-f45.google.com ([74.125.82.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Dec 2016 18:04:20 +0100 Received: by mail-wm0-f45.google.com with SMTP id u144so23881049wmu.1 for ; Sun, 18 Dec 2016 09:04:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:subject:to:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-transfer-encoding; bh=W6YVzwY2tuCWhwqnzwDpBowHyc7YRebjqWaBhfXh4vc=; b=bJtT2djf5u546vjwJtFBSsLnLm69hXt6UKL7LNeo8byF24kUmnXcopsHppqcoK62c2 h8socBU7lh5KeazXknrx6uzOJbx4ak2wpTvZxq0n4IOCD/Yz4B1vBLhGNfeHq0eqatZD Hq7TrT2Ile1Pj9g80XAF2s/avRd/NSNGvQJ67ex0jDY4Ltm8d9ZjFJAcaGw1blmErDm8 uPb6p1juYImEvA8ySb/YcqDBrl2JuhHZLX86MF2JiZ8GFmLB6jdzkpIf+PbB2vfxyl7T YaWb7Vv1AmJQHlNn94h0k2DRqRC7pVSX/gTuZd/dbIFvXNNW6g9qVLVHWex1Xw5BXJcr JVfw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:subject:to:references:from:message-id :date:user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=W6YVzwY2tuCWhwqnzwDpBowHyc7YRebjqWaBhfXh4vc=; b=fmDvGwmFKJAJk7ZfwfbOJYQpLd+YiXIEfGdaFo3e81u+V9Ir+veCCyMyFCa4YREaJj Pe/TuQhRxcUnpCa+xPrpJLspe12FFEQKZrlN4oRJNY+pLUzrRH0pu3lLybY1PapvDhNI fPDRts5eycCB7pLSm18OCWclmqN4ha6nL/8bxIawSDrcez3TqUlvkcW9ZcrmtmmuBu4o orDPFNw4oreXY/AV+AOZGB//2rOH3nkvzYhN6KQtOrMNzeQm08/1ctg1qQOyZ0p064A5 MNsEo2aOL0uh2eAmumHaVweh7Fby4DTKnFNSWBYMC9GS96eFZ8m2yOg0JSRbaF55yLCH KMjg== X-Gm-Message-State: AIkVDXL7rWN5SCTYRF66WwUV0+a6yH1fFWfnu2ehQ4CqDBCQPvGEXxCE9Vpt8F1VIDLo3w== X-Received: by 10.28.135.5 with SMTP id j5mr11320474wmd.3.1482080659345; Sun, 18 Dec 2016 09:04:19 -0800 (PST) Received: from [192.168.1.2] (che78-2-82-237-71-191.fbx.proxad.net. [82.237.71.191]) by smtp.gmail.com with ESMTPSA id ab10sm16752030wjc.45.2016.12.18.09.04.17 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 18 Dec 2016 09:04:17 -0800 (PST) Sender: Xavier Leroy To: Hendrik Boom , caml-list@inria.fr References: <20161218030147.GB15171@topoi.pooq.com> From: Xavier Leroy Message-ID: <657af8c8-dc7a-5b8a-4584-9e5756e9f301@inria.fr> Date: Sun, 18 Dec 2016 18:04:17 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: <20161218030147.GB15171@topoi.pooq.com> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] opam corrupted my sources.list. On 12/18/2016 04:01 AM, Hendrik Boom wrote: > Well, technically, it was the directory /etc/apt/sources.list.d that > got an unwanted file: > > opam.list > > and I'm guessing that it was opam from the name of that file. > > It contained the line: > > deb http://download.opensuse.org/repositories/home:/ocaml/Debian_7.0/ / Apparently, you, or someone else on your machine, or some script you ran as root, followed the OPAM installation procedure for Debian described here: https://opam.ocaml.org/doc/Install.html#Debian The conclusion is "don't do that if you're not running Debian". There are other ways of installing OPAM, described on this page, that should work with whatever distro you feel like using. At any rate, this has nothing to do with OCaml itself, and not much with OPAM, so let's take this discussion off caml-list. - Xavier Leroy