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 A368B5D5 for ; Tue, 22 Jan 2019 16:16:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,507,1539640800"; d="scan'208,217";a="365287033" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jan 2019 17:16:39 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E361182578; Tue, 22 Jan 2019 17:16:39 +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 157037F61F for ; Tue, 22 Jan 2019 17:16:31 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-lj1-f173.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A0ULeoREtgChWfGuiGd+5QZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78rsuwAkXT6L1XgUPTWs2DsrQY07qQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95eWCxPAIyy?= =?us-ascii?q?b4UBAekcM+hGs4bwvEEBoQekCAS2GO/j1j1Fi3nr1qM6yeQhFgTG0RQjEdIQqn?= =?us-ascii?q?vUqsj+OqYVUeCpy6nI0ynMb/NX2Tfh84jDbxcsofCSXbJ/asfRyFcgGB3bgVmK?= =?us-ascii?q?rozlJTyV2/0LvmOG4eRgUuevhHQmqwF3ujWvycYsipXJhoII0V/I7zl2wIEwJd?= =?us-ascii?q?GgSU57e9+kEIdKuyGULYt7RN4pTWJwuCsi1LEKpZq2cDIJxZkn3RLTdeCLfouS?= =?us-ascii?q?7h7+VuucLzF1j29/dr2lnRa9602gx/X8Vsaq1FZKqTJIktzWuXAM0xzf88yHSv?= =?us-ascii?q?lg8ku41zaDygLe5+9eLUA7kqrbLJEhwroumZYJrUvDGSr2lF33jK+QaEok5vCl?= =?us-ascii?q?5/r7brjivJORNI95hhvgPqgymcGzG/k0PwoAUmSD/OSzzrzj/Un3QLVQif02l7?= =?us-ascii?q?HUsJHEJcQUvaO5AhFa3Zg95BqlCDemytsYkWEdLF1ZYBKHk5TpO1bWLf/kF/i/?= =?us-ascii?q?hlCsnC5vx/DHJb3hHo7ALmPDkbfkZbZy8VRQyAs1zdBF5pJbEKsNIPzpWhy5iN?= =?us-ascii?q?uNLRI/NQGow67OBNx4nqYfXWaCGOfNM67Ut1KU5usjKuyJZYsRtSzVJP0s5vqo?= =?us-ascii?q?hng8zwwzZ66siLoJYXbwMfN6JFuSYXvwmZ9VEHkFlgszQeGsj0eNB20AL02uVr?= =?us-ascii?q?4xs2loQLmtCp3OE8X02OTYjXWLW6ZOb2UDMWiiVHLhdoGKQfAJMXrAI8Jsn3oD?= =?us-ascii?q?T7fzEtZ9hyHrjxfzzv9cFsSR4jcR7Mqx1dV46qvUjx5grWUpXfTY6HmESiRPpk?= =?us-ascii?q?1NRzIy2/oh80l0y1PG1aohxvIBSocV6PROXQM3c5Xbyr4iBg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AnAAA0QUdchq3QVdFjHAEBAQQBAQcEA?= =?us-ascii?q?QGBUgYBAQsBAYJoTzMnhAGBHZJogg2JJQ6OToF7DSWEAUYCgm0aBwEEMQgNAQM?= =?us-ascii?q?BAQIBAQEBARMBAQEICwsIKSMMQgEMAYFqKQGCZgEBAQECASMdAQE3AQQLCwsNK?= =?us-ascii?q?gICIQESAQUBHAYTgyIBgWkDCAUID6EjPIoqcYEvgncBAQWBMAGDSw2CFQgSjC8?= =?us-ascii?q?XgUA/hCOCV0cCgg6CXIJXihOGe5BhMwmHJINYBYNhgzkYgWaFLosAiwyEFIEYi?= =?us-ascii?q?lYPIYEmAYIMfQg7DRAUBoI1CYISDA4Jg0uBPoNWhV0kMAGCTIhLAQE?= X-IPAS-Result: =?us-ascii?q?A0AnAAA0QUdchq3QVdFjHAEBAQQBAQcEAQGBUgYBAQsBAYJ?= =?us-ascii?q?oTzMnhAGBHZJogg2JJQ6OToF7DSWEAUYCgm0aBwEEMQgNAQMBAQIBAQEBARMBA?= =?us-ascii?q?QEICwsIKSMMQgEMAYFqKQGCZgEBAQECASMdAQE3AQQLCwsNKgICIQESAQUBHAY?= =?us-ascii?q?TgyIBgWkDCAUID6EjPIoqcYEvgncBAQWBMAGDSw2CFQgSjC8XgUA/hCOCV0cCg?= =?us-ascii?q?g6CXIJXihOGe5BhMwmHJINYBYNhgzkYgWaFLosAiwyEFIEYilYPIYEmAYIMfQg?= =?us-ascii?q?7DRAUBoI1CYISDA4Jg0uBPoNWhV0kMAGCTIhLAQE?= X-IronPort-AV: E=Sophos;i="5.56,507,1539640800"; d="scan'208,217";a="292798364" Received: from mail-lj1-f173.google.com ([209.85.208.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Jan 2019 17:16:29 +0100 Received: by mail-lj1-f173.google.com with SMTP id q2-v6so21133547lji.10 for ; Tue, 22 Jan 2019 08:16:29 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee.org; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=VZLdlamr1Mpke+AwIc2uhWZt4WiBRFPyu8CbQldqKxY=; b=c2sfP5MXVRWVjqIDKd6JMtGcUOmaVS64DKtX8TKJjyPKz2teV1mhlzATjW4yGwtOP4 dSS+GcQQesrcFA6xGIQ9s2V2KIl4XLCaNYcvOZ925DNcgpdM1sRSvee8uybBk2Tl20cA lfXbQFO2XuRLsBIMzm6JY1UvX9Gev8SEDlgP0= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=VZLdlamr1Mpke+AwIc2uhWZt4WiBRFPyu8CbQldqKxY=; b=rAo/bxtwQNCOCxcWoerZBXMbivdnThEN5PTF8H+stlF/d4BtGexBWkkk37k6fbN/m1 hQYewH5RPTguwYMSkCTow5/G/8m2hJzKmjvaErZIU3FBSsI5CmoLiD65Wj9GNgGyhx99 uE7RtBcucgp0lq0ZcJRyHemr4z3f2DgWn3+pli/vckbqTLHHK3+ipU360yWoT2Aam9Th mgRerQlj1LFsMQiPV/KwGAilHYiuKMSqI7uD0AiSHKwvk5Vl/4VBqgXhEHe/dUMMW39s qxHgmi0eQwF07hbYrcK0og98DE7sJVncyFy/n9xbwRgUYrZDfOu4thlKQW6DK4721WYg BeRQ== X-Gm-Message-State: AJcUukd00FK6MsPJdRZg6qZsv9phfY1pjQTJ0TghPL6B8Ls9atC/GD7K Ulv+cXm4rUM/Q7bzxn3HxrMaQU089dZKkLkHSxAKYw== X-Google-Smtp-Source: ALg8bN6fhWvP0/LiOGJkoMn+ngdzaEYIJpbsdwjPOCukUQQMHMm7LM54TxN2beYkzI+AIh/B/+UBQVBjNyqMKA3fWgM= X-Received: by 2002:a2e:914b:: with SMTP id q11-v6mr8847340ljg.164.1548173788634; Tue, 22 Jan 2019 08:16:28 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Ivan Gotovchits Date: Tue, 22 Jan 2019 11:13:35 -0500 Message-ID: To: Kenneth Adam Miller Cc: caml users Content-Type: multipart/alternative; boundary="000000000000b9037905800e4ce1" Subject: Re: [Caml-list] FrontC package Reply-To: Ivan Gotovchits X-Loop: caml-list@inria.fr X-Sequence: 17322 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: --000000000000b9037905800e4ce1 Content-Type: text/plain; charset="UTF-8" Well, if you will look into the opam repository [1], you will find that there are no references to the old location left. So my assumption is that you're using some other repository, other than the main one which is not updated. Just remove it, or update it. Use the `opam repo list` command, which will show you the list of repositories that you're using for the current switch, and fix the accordingly. [1]: https://github.com/ocaml/opam-repository/blob/master/packages/FrontC/FrontC.3.4/opam On Tue, Jan 22, 2019 at 10:57 AM Kenneth Adam Miller < kennethadammiller@gmail.com> wrote: > I am using opam 2.x > > On Tue, Jan 22, 2019 at 10:43 AM Ivan Gotovchits wrote: > >> Which version of opam are you using? It should be opam 2.x The 1.x >> version of the opam-repository is no longer updated. >> >> On Tue, Jan 22, 2019 at 9:29 AM Kenneth Adam Miller < >> kennethadammiller@gmail.com> wrote: >> >>> But I already did do an opam update, and it still tried to pull a FrontC >>> version that was stale. >>> >>> On Tue, Jan 22, 2019 at 9:18 AM Ivan Gotovchits wrote: >>> >>>> Hi Kenneth, >>>> >>>> The FrontC package was adopted by the BAP Team [1],[2],[3], so if you >>>> have any links that still follow to the old repository, then please do >>>> update your opam. The old package is also mirrored on one of our servers, >>>> we have sometimes issues with SSL keys, that we need to update manually, >>>> but this issue is resolved now, so even for the old opam, it should work. >>>> >>>> Cheers, >>>> Ivan Gotovchits >>>> >>>> >>>> [1]: https://github.com/ocaml/opam-repository/pull/13012 >>>> [2]: https://github.com/ocaml/opam-repository/pull/13032 >>>> [3]: https://github.com/BinaryAnalysisPlatform/FrontC >>>> >>>> >>>> On Mon, Jan 21, 2019 at 12:39 AM Kenneth Adam Miller < >>>> kennethadammiller@gmail.com> wrote: >>>> >>>>> The FrontC package for version 3.4 cannot be installed and there is a >>>>> 404 error not found at: >>>>> >>>>> http://www.irit.fr/recherches/ARCHI/MARCH/frontc/Frontc-3.4.tgz >>>>> >>>> -- 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 --000000000000b9037905800e4ce1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Well, if you will look into the opam repo= sitory [1], you will find that there are no references to the old location = left. So my assumption is that you're using some other repository, othe= r than the main one which is not updated. Just remove it, or update it. Use= the `opam repo list` command, which will show you the list of repositories= that you're using for the current switch, and fix the accordingly.

On Tue, Jan 22, 2019 at 10:57 AM Kenne= th Adam Miller <kennethadammiller@gmail.com> wrote:
I am using opam 2.x
On Tue, Jan 22, 2019 at = 10:43 AM Ivan Gotovchits <ivg@ieee.org> wrote:
Which version of opam are you using? It sh= ould be opam 2.x The 1.x version of the opam-repository is no longer update= d.=C2=A0

On Tue, Jan 2= 2, 2019 at 9:29 AM Kenneth Adam Miller <kennethadammiller@gmail.com> wrote:=
But I already did do an opam update, and it still tried to pull a FrontC = version that was stale.

On Tue, Jan 22, 2019 at 9:18 AM Ivan Gotovchits <ivg@ieee.org> wrote:
=
Hi=C2=A0Kenneth,

The F= rontC package was adopted by the BAP Team [1],[2],[3], so if you have any l= inks that still follow to the old repository, then please do update your op= am. The old package is also mirrored on one of our servers, we have sometim= es issues with SSL keys, that we need to update manually, but this issue is= resolved now, so even for the old opam, it should work.=C2=A0
Cheers,
Ivan Gotovchits


=
On Mon, Jan 21, 2019 at 12:= 39 AM Kenneth Adam Miller <kennethadammiller@gmail.com> wrote:
The FrontC package for version 3.4 cannot be installed and there is a= 404 error not found at:

--000000000000b9037905800e4ce1--