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 6A7D35D5 for ; Tue, 22 Jan 2019 15:58:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,507,1539640800"; d="scan'208,217";a="365283439" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jan 2019 16:58:04 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id D0F7582568; Tue, 22 Jan 2019 16:58:04 +0100 (CET) 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 A91207F61F for ; Tue, 22 Jan 2019 16:57:59 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kennethadammiller@gmail.com; spf=Pass smtp.mailfrom=kennethadammiller@gmail.com; spf=None smtp.helo=postmaster@mail-io1-f52.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A/lBGXhEtmpCM635iw0YiIp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zosWwAkXT6L1XgUPTWs2DsrQY07qQ6/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/j1j1Fi3nr1qM6yeQhFgTG0RQlEd0Qtn?= =?us-ascii?q?TUqsv6NLsSUeuo0KTH0C/Mb/ZL0jn66YjIdhQhru+WXbltdsfRylcgFwXDjlqO?= =?us-ascii?q?tYzlPyma2fkXvGie6upgVOavi2o5pAFruTWvycIshZPIhoIR0FzL6SJ5wIMsKN?= =?us-ascii?q?C+VUV1b9mkEJ5KuCGbMYt7WswiQ2B0uCY6170JooS3czQNyJQi3xLfauaHc4mU?= =?us-ascii?q?4h75WuaROzF1j29mdrKnnxu+71Ssx+nmWsS30FtGtDdJn9jNu3wX1xHf9M6KQe?= =?us-ascii?q?Zn8Ei7wzaAzQXT5/lEIU8qkarbLIYswrsqmZoStUTPBy72mELrgKOPeEUp+vak?= =?us-ascii?q?5/7oYrXhoZ+cOIt0hR/kPqsyncy/BPw0MgkIX2eF5eSxzKPv8VH9TblQjfA7kr?= =?us-ascii?q?PVvI3bKMkavKK0AxFZ3p4m6xmlDjem1NoYnWMALFJAYB+HjJbmO1fIIP/mEfe/?= =?us-ascii?q?g06jnypxyPDDO73hA5HNLnzdn7f7Zrt95EtcxxAyzdBb/Z5bFrYBIPfrVk/rqN?= =?us-ascii?q?PYFgM5MxCzw+v/FNpyzIYeWWaWDq+dMaPSqkOI6/k0I+iMYY8VoCzyJ+Ik5/7o?= =?us-ascii?q?l385mEUScbOn3ZsNOziEGaFHPUyfKVXrntAfGmcLohF2GO30h3WDXDNeIXGoUP?= =?us-ascii?q?RvyCs8DdeFAIHFS5ytyJWN1SLzO5xSYm1cQgSPHHHuepmEUvsFbSeTJstsiBQL?= =?us-ascii?q?ULGgT8kq0hT451yy8KZuMueBon5QjpnkztUgorSLzUhjpwwxNNyU1iS2d08xm2?= =?us-ascii?q?oJQzEs26Um+B5yz16C1e5zhPkKTIUPtcMMaR8zMNvn98I/E8r7A1uTcdKASVLg?= =?us-ascii?q?SdKjU2loE4ABhuQWakM4IO2MyxDO2y3wXu0Qnr2PQZ0zq+fSgiK3KMF6xHLLkq?= =?us-ascii?q?Imigt+Tw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BgAADlPEdcfzSmVdFjHAEBAQQBAQcEA?= =?us-ascii?q?QGBUwUBAQsBAYJoTzMnhAGBHYJekAmCDZIZhWiBew0jhEkCgm0aBwEEMgcNAQM?= =?us-ascii?q?BAQIBAQEBARMBAQkLCwgbDCUMQgEMAYFqKQGCZgEBAQECASMdARsdAQMBCwYFB?= =?us-ascii?q?AcDCioCAiEBAREBBQEcBhMIgxuBaAEDDQgPoSE8ixuBEgUBF4J4BYExAYMBChk?= =?us-ascii?q?nDV6BNwIGEowvF4F/hCOCV0cCgg6CXIJXAooRhnuQYTMJhySDWAWDYYM5GIFmh?= =?us-ascii?q?S6LAIsMhBSBGIpWDyGBLAKCBTMaI1ANEBSCOwmCEgwXg0uBPokzJDABgkyISwE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0BgAADlPEdcfzSmVdFjHAEBAQQBAQcEAQGBUwUBAQsBAYJ?= =?us-ascii?q?oTzMnhAGBHYJekAmCDZIZhWiBew0jhEkCgm0aBwEEMgcNAQMBAQIBAQEBARMBA?= =?us-ascii?q?QkLCwgbDCUMQgEMAYFqKQGCZgEBAQECASMdARsdAQMBCwYFBAcDCioCAiEBARE?= =?us-ascii?q?BBQEcBhMIgxuBaAEDDQgPoSE8ixuBEgUBF4J4BYExAYMBChknDV6BNwIGEowvF?= =?us-ascii?q?4F/hCOCV0cCgg6CXIJXAooRhnuQYTMJhySDWAWDYYM5GIFmhS6LAIsMhBSBGIp?= =?us-ascii?q?WDyGBLAKCBTMaI1ANEBSCOwmCEgwXg0uBPokzJDABgkyISwEB?= X-IronPort-AV: E=Sophos;i="5.56,507,1539640800"; d="scan'208,217";a="365283361" Received: from mail-io1-f52.google.com ([209.85.166.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Jan 2019 16:57:35 +0100 Received: by mail-io1-f52.google.com with SMTP id k7so19508513iob.6 for ; Tue, 22 Jan 2019 07:57:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=YyTm/ympTGXZXWLwU1+UEZzFIVEjK+dS2IrXxKbWqk0=; b=G9YeY3ikEqj2SJbg3W1APTxuY4U14dognHWR/4+fIp4naXVVfPfZQ2V8ePlmGU3R5H oTqoPpFPdWb5P2au02V9GbhqkumdC8fthYg0O/4ue6/LRN4q7XCWLpWJyE5IMKrj8fmX BB9uJKfv/2izNue1NNl6tg61g0E6iG9AHVQ8Ub+7bVShAP/1+Cpce6R7j84vR4+g3o3y YYj4SIFPY/SAEs6RUx/r94/quf+L4eOE3d1pqa7eRYwLW8eDmPl4cUMVIxhbi4hMeTJk WAtSnqjDHAIHDSxWQzDdIgSwNJvHnouYQ2BKJzGmYzLssKy1HWDbP5pJODOAhutOClBT NJxQ== 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=YyTm/ympTGXZXWLwU1+UEZzFIVEjK+dS2IrXxKbWqk0=; b=d8sYfD7v+KgI22ITB7iwLnYwVA+DqzVQol5ZjNX+FGqLIkXGJnvvF9GLplOY64MFTc Bc8F7Zde+/t1M9pQq5jLlelaTd+wX8jLlRAYaEehYKkKh4yb3TbEAbWS5LVutXShxvia y34L30gI2c9gDR0tPsY/PKKHmhW+tnsdUsSQ/xwMTtqKTbZApYhYIgkhvOCMCFQqnkTA 7knKhyBcbcCDwRfPEQczwjnXkTX8fWNtuDvNWAXCIiI/BvQRiQ9ZnmSeXIuLNXGpFQzy SZMWFROdEgzpKayFGozB+XJCzR/P8EIGeq6RgtvLPdxHiNWjMUA0xv1rUc1sPk8eeLmw kdsA== X-Gm-Message-State: AJcUukdlakL30kdbXzkrcw00V9lwxdZe65DqGH48x09BzTePome2oV5e qelFAKRJ3z5Vy5V0LkbrlorGUsHsYDatQfprTSg= X-Google-Smtp-Source: ALg8bN6dc2KSviccBxJG5Oslf6gx3EFQ8Oz0gwv0qwW9/QPyeedQygW1GO5hvLt8usriO0D5OKw0SiCedjd6d1zPXcU= X-Received: by 2002:a6b:d20f:: with SMTP id q15mr20648738iob.100.1548172654683; Tue, 22 Jan 2019 07:57:34 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Kenneth Adam Miller Date: Tue, 22 Jan 2019 10:57:23 -0500 Message-ID: To: Ivan Gotovchits Cc: caml users Content-Type: multipart/alternative; boundary="000000000000222b6e05800e098c" Subject: Re: [Caml-list] FrontC package Reply-To: Kenneth Adam Miller X-Loop: caml-list@inria.fr X-Sequence: 17321 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: --000000000000222b6e05800e098c Content-Type: text/plain; charset="UTF-8" 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 --000000000000222b6e05800e098c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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 should be opam 2.x The 1.x version of the opam-repositor= y is no longer updated.=C2=A0

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

On Tue, Jan 22, 2019 at 9:18 AM Ivan Gotovchits <= ;ivg@ieee.org> wro= te:
Hi=C2=A0Kenneth,
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 pl= ease do update your opam. The old package is also mirrored on one of our se= rvers, we have sometimes issues with SSL keys, that we need to update manua= lly, but this issue is resolved now, so even for the old opam, it should wo= rk.=C2=A0

Cheers,
Ivan Gotovchits
<= div>



On Mo= n, Jan 21, 2019 at 12:39 AM Kenneth Adam Miller <kennethadammiller@gmail.com&g= t; wrote:
The FrontC package for version 3.4 cannot be in= stalled and there is a 404 error not found at:

--000000000000222b6e05800e098c--