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 ESMTP id 082EB5D5 for ; Tue, 22 Jan 2019 14:30:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,506,1539640800"; d="scan'208,217";a="365262874" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jan 2019 15:30:05 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id BBB8782579; Tue, 22 Jan 2019 15:30:05 +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 CCB0F7F61F for ; Tue, 22 Jan 2019 15:29:07 +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-it1-f178.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Azb9vnhbEPQbuiz+gwfsENLX/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8S5bnLW6fgltlLVR4KTs6sC17KG9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCa+bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJWCNBDIGz?= =?us-ascii?q?YYsBAeQCIOhWsZXyqkAUoheiHwShHv/jxiNKi3LwwKY00/4hEQbD3AE4GtwBrn?= =?us-ascii?q?LUrNPrO6cOUeC+0bXFwijZYPNTxDzz74nIchQlof6SR7J7bM3cyUoxGAPDiFWf?= =?us-ascii?q?t5DlPzOP2esQqWeb6u9gVeOri24jtQ5xuCOixsgpiobTh4IVzkrI+jl+wIYwPN?= =?us-ascii?q?C1TlNwb9CjEJtVrS6aNo12T9sjQ2FyuSY61qcKtYS1fCgQ0JgnyB/fa+CHc4iV?= =?us-ascii?q?+R3vTvqeITB9hH59ebK/nRey8VS6xu3yTMm51ktBoCldktTUqHwByxje5tKER/?= =?us-ascii?q?Z95EutxDeC2gHJ5u1ZI005lqzWIIM7zLEqjJocq0HDEzf2mEroiK+WcV0p+u2y?= =?us-ascii?q?5OTmZrXqv56cN5Nphg3nPKQih86yDOciPggBWGib/uu81Ln98kHjXLpKifg2nr?= =?us-ascii?q?HYsJDcO8sbura0DxFJ3osn8RqyDDer3M4FkXQGLV9JYg+LgorqNl3WJfD3F/a/?= =?us-ascii?q?g1CikDdxwPDGO6XsApbTIXjFlrfuY6p9605GxwUu199f4pdUCrAFIPL3REDxrs?= =?us-ascii?q?fVDhA8MwOuwubnDM9x2Z8ZWWKKGqOZKr/dsUeU5uIzJOmBfJMatyz4K/gh/vLu?= =?us-ascii?q?iX45mUQBfaSyxpsWaHW4Hux8LEmDYHrshM0BEWYQsQYkQuzqkg7KbTkGRmi7We?= =?us-ascii?q?oT4S08FommDJvYDtSsnrOp3Sq2E9tRfG8QWX6WFnK9VIiCXfoQaGq7LsZk2hkF?= =?us-ascii?q?UbysUcd11hyosgLmy7NrJ+/R+ykcuIjL29185umVnhY3o28nR/+B2n2AGjkn1l?= =?us-ascii?q?gDQCU7ieUm+RQkmwWzlJNgivkdLuR9ovZAUwM0L5nZlrUoBNX7WwaHddCMGg//?= =?us-ascii?q?HoeWRAopR9d0+OcgJl5nEoz73B/G1iuuRbQSku7TXcFmwufnx3H0Yv1F5TPG2a?= =?us-ascii?q?0m1Qd0R8JOMSinmvc6+VGMV8jGlEKWk6vsfqMZjnbA?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CFAAAJKEdcf7KmVdFkHAEBAQQBAQcEA?= =?us-ascii?q?QGBVAQBAQsBAYJoTzMnhAGBHYJekAmCDZl8DSODEoE3AoJrGgcBBDMGDQEDAQE?= =?us-ascii?q?CAQEBAQETAQEJCwsIJyUMQgEMAYFqKQGCZgEBAQECASMdARsdAQMBCwYFBAcDC?= =?us-ascii?q?ioCAiEBAREBBQEcBhODI4FoAQMNCA+gdTyLG4ESBQEXgngFgTEBgwEKGScNXoE?= =?us-ascii?q?3AgYSjC8XgX+EI4JXRwKCDoJcglcCihGGe5BhMwmHJINYBYNhgzkYgWaFLosAi?= =?us-ascii?q?wyEFIEYilYPIYE7gXgzGiNQDRAUgjsJgW4kDBeDS4E+iTMkMAGCTIhLAQE?= X-IPAS-Result: =?us-ascii?q?A0CFAAAJKEdcf7KmVdFkHAEBAQQBAQcEAQGBVAQBAQsBAYJ?= =?us-ascii?q?oTzMnhAGBHYJekAmCDZl8DSODEoE3AoJrGgcBBDMGDQEDAQECAQEBAQETAQEJC?= =?us-ascii?q?wsIJyUMQgEMAYFqKQGCZgEBAQECASMdARsdAQMBCwYFBAcDCioCAiEBAREBBQE?= =?us-ascii?q?cBhODI4FoAQMNCA+gdTyLG4ESBQEXgngFgTEBgwEKGScNXoE3AgYSjC8XgX+EI?= =?us-ascii?q?4JXRwKCDoJcglcCihGGe5BhMwmHJINYBYNhgzkYgWaFLosAiwyEFIEYilYPIYE?= =?us-ascii?q?7gXgzGiNQDRAUgjsJgW4kDBeDS4E+iTMkMAGCTIhLAQE?= X-IronPort-AV: E=Sophos;i="5.56,506,1539640800"; d="scan'208,217";a="365262624" Received: from mail-it1-f178.google.com ([209.85.166.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Jan 2019 15:29:06 +0100 Received: by mail-it1-f178.google.com with SMTP id w18so21689173ite.1 for ; Tue, 22 Jan 2019 06:29:06 -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=ZN6UyakBNln/bVMvui5nwcKuEob2wZHoYM3Ly2k8vDE=; b=WDumWq/j6REkIcsEaclEL73iApSeFV7GhGdg5OI67o3WJ4ojoPEJTGYgR5DqhcLENf DMQPDif62+oROSwLOBOYzWiFB5ZU/BYz9iS99p7POAMnpnBhq5y4sH36p2f68ypeaIvI azvZY2pbVBtdL7QzwdlC4OPAhjgpq2ynkOzuJGAdmq9fdwBzVAtJFUItf8aUpaxplmUq mF2Z6TOtfX1q9FmOezualKo5cNx8JvpB5wvexH5/K7NqIgRd+bE9++jEZm5wW29FtBNN 2wKRX78gtzTjZrkDKygHtiuG7QXV/vAaltRcrBNkyPmQMiEbVSgB4OUvhXz8ZuKB3NrA qLsQ== 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=ZN6UyakBNln/bVMvui5nwcKuEob2wZHoYM3Ly2k8vDE=; b=uiPjZZ6E7a42L+DjD1YBjO3DJcc+RAS9PHka3TI7VkkbFPq5BmmM6G2L4vsnuPBz0P 7YCjKwmLBFbJfRWMjp62zxNIE9urxi+hxNTxv1epbHK9IJtxpLNsYmF7SqhPYchIQor5 nHa/7bo9zwQNBtB55tlMIBS2KH+/M8sQui22uD1H1gbQmOOenouKmTDoEsy9BgkwrLY+ ZiHFh18LF4MpszmjAjCwJndat65Cw7nTaLlIe4AWKdurKTh/jeAvdEnLYarbG2V6m13C oXCl+2ApPO/j21Q1FPzGdB5PVfTDsIijdPWItSohCTBQMeSe/ON9oYXMaz0eDWLVBwdl r0jQ== X-Gm-Message-State: AJcUukea4Gh8n1BLrRQFGsvA92vZezwoXyW/ZuWphf8zaJ3ifyZEGO/z lnwzr0R3C2pL6WI4ZCEpq0EIPuKPpEZ3cYVjMZY= X-Google-Smtp-Source: AHgI3IaPueqYu+Qc+L24vsW/lucF65Rk2+6ucNh1+B3RkZ51izLOiAAaL/is/J7/4UxxJrVG/N22x+hkjiFfAJC3xMQ= X-Received: by 2002:a24:7fc3:: with SMTP id r186mr2085963itc.178.1548167344803; Tue, 22 Jan 2019 06:29:04 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Kenneth Adam Miller Date: Tue, 22 Jan 2019 09:28:53 -0500 Message-ID: To: Ivan Gotovchits Cc: caml users Content-Type: multipart/alternative; boundary="000000000000a3d5c005800ccc2a" X-Validation-by: kennethadammiller@gmail.com Subject: Re: [Caml-list] FrontC package Reply-To: Kenneth Adam Miller X-Loop: caml-list@inria.fr X-Sequence: 17319 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: --000000000000a3d5c005800ccc2a Content-Type: text/plain; charset="UTF-8" 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 --000000000000a3d5c005800ccc2a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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 Fron= tC package was adopted by the BAP Team [1],[2],[3], so if you have any link= s 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 re= solved now, so even for the old opam, it should work.=C2=A0
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 40= 4 error not found at:

--000000000000a3d5c005800ccc2a--