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 681295D5 for ; Tue, 22 Jan 2019 15:43:22 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,506,1539640800"; d="scan'208,217";a="365279341" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jan 2019 16:43:21 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1AA6582578; Tue, 22 Jan 2019 16:43:21 +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 53F7C7F61F for ; Tue, 22 Jan 2019 16:43:14 +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-f180.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AZFia2RD79MZllSaoON9AUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPvyoMbcNUDSrc9gkEXOFd2Cra4c26yO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUhzexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iS?= =?us-ascii?q?cHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsleVyJDDY28?= =?us-ascii?q?YYUBDPcPM/hEoITmvVQCsQGzCBOwCO/zyDJFgGL9060g0+QmFAHLxA8uH8wUv3?= =?us-ascii?q?TSsd77NaASUfyyzKnW0TrDb/JW2Svm6IPVdR0hoO+MXb1rfMrQ10YgCR3Kgk+X?= =?us-ascii?q?qYz/MDOYz+IAuHWV4epnUOKgkW8nqwdprzigx8cslonJhp8OxVze6Sp5x4M1Kc?= =?us-ascii?q?W5SE5hYN6kDIFcty+AN4ZwX8gsQHlotT4kxrEavZO3ZisHxZQ9yxLBd/CKcJKE?= =?us-ascii?q?7g/gWeqNJzpzmWhrd6ilhxmo9Eit0u38Wdew0FZNtidFl8PDtnEJ1xDK7siHSO?= =?us-ascii?q?Zx8l6v2TqS1A3f9vtIIU8zlarcJJ4hxqA/moAPvkTEGy/6gET2jKmIeUU44uWk?= =?us-ascii?q?9fjrb7H8qpKfN4J4kB/yPrgtl8ClHOg1MRQCU3Ce+eum1b3j+UP5QK9Njv0ziq?= =?us-ascii?q?TZsY7aJcsAq664HQBazJgs5wy4Dze839QUhWMHI05deBKbk4jpPEnDL+ziAve6?= =?us-ascii?q?h1SgiTNrx/HdPr39GZjNNXjCkLL5fbln8UJcyQwzzcpe551OEL0BLujzCQfNs4?= =?us-ascii?q?n7Axk/PhC0i8/rAdA184IaXW+VSvuaPaXUvEOI7+4mJuyNYIsYoh7yLvEk47jl?= =?us-ascii?q?inpvynEHeqz8/IUebjiXGehhPU6ZYGb3yoMAD2givwczQartklLUAm0bXGq7Q6?= =?us-ascii?q?9pvmJzM4mhF4qWA9n12OXQjhf+JYVfYyV9Mn7JFH7pc4ueXPJVMHCTL8Js1Dse?= =?us-ascii?q?Wur4EtNz5VSVrAb/joFfAK/M4CRB7cDi2dV4oerJmkNqrGEmP4Gmy2iIClpMsC?= =?us-ascii?q?YISjsxhv4tpEV8zhKH0/E9jaUITZpc4PRGVgp8PpnZnbR3?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AnAAAGOUdchrTQVdFjHAEBAQQBAQcEA?= =?us-ascii?q?QGBUgYBAQsBAYJoTzMnhAGBHZJngg2JJQ6OToF7DSOESQKCbRoHAQQxCA0BAwE?= =?us-ascii?q?BAgEBAQEBEwEBAQgLCwgpIwxCAQwBgWopAYJmAQEBAQIBIx0BATcBBAsLBAcNK?= =?us-ascii?q?gICIQESAQUBHAYTgyIBgWkDCAUID6EePIoqcYEvgncBAQWBMAGDSw2CFQgSjC8?= =?us-ascii?q?XgUA/hCOCV0cCgg6CXIJXihOGe5BhMwmHJINYBYNhgzkYgWaFLosAiwyEFIEYi?= =?us-ascii?q?lYPIYEnAoIKfQg7DRAUBoI1CYISDA4Jg0uBPoNWhV0kMAGCTIhLAQE?= X-IPAS-Result: =?us-ascii?q?A0AnAAAGOUdchrTQVdFjHAEBAQQBAQcEAQGBUgYBAQsBAYJ?= =?us-ascii?q?oTzMnhAGBHZJngg2JJQ6OToF7DSOESQKCbRoHAQQxCA0BAwEBAgEBAQEBEwEBA?= =?us-ascii?q?QgLCwgpIwxCAQwBgWopAYJmAQEBAQIBIx0BATcBBAsLBAcNKgICIQESAQUBHAY?= =?us-ascii?q?TgyIBgWkDCAUID6EePIoqcYEvgncBAQWBMAGDSw2CFQgSjC8XgUA/hCOCV0cCg?= =?us-ascii?q?g6CXIJXihOGe5BhMwmHJINYBYNhgzkYgWaFLosAiwyEFIEYilYPIYEnAoIKfQg?= =?us-ascii?q?7DRAUBoI1CYISDA4Jg0uBPoNWhV0kMAGCTIhLAQE?= X-IronPort-AV: E=Sophos;i="5.56,506,1539640800"; d="scan'208,217";a="292793137" Received: from mail-lj1-f180.google.com ([209.85.208.180]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Jan 2019 16:43:12 +0100 Received: by mail-lj1-f180.google.com with SMTP id l15-v6so21006706lja.9 for ; Tue, 22 Jan 2019 07:43:12 -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=elvnV+n8MzmWFrKdbXANkn8BnkMvVbBJVEIPOYIihQ8=; b=NDZyfIeUhCxr81N+/4tfyzaQHjepqezF/au93jronbrPYYr6euilSYbohJBjlu13pa zY5fHzmggj39XqI9vwk9tjt24yeoyD4ID0B2F7Eu/ZgNeSxWyi/qE2SFZJYwTagPnEHF 4fEBxpnI8eX9WzBuKykFiKKrYzMxOCvEwoPAM= 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=elvnV+n8MzmWFrKdbXANkn8BnkMvVbBJVEIPOYIihQ8=; b=cmNCRzyLaG6VIP3QLk8JpdKZoGStkhkaO4oa1wtMuuynWizbHT7RoFKsCMEZQm/2hF 1e+tRbeNyVVxZvGC95AsarrAYE8+mPbSpfAU5//vFpaJqs/iirIyK/vY4DsiMBfbte0y zMEnVlgsm11rq6QnVhK5Um6/OasmkMGk/yfK5hfv+Qnhmn4XHlX4mV1lri61IcM7LrsZ X/fr5CXijDsoH7vj4MLwrYcw8KouBPp5600LeTkRir1/ULMF3r6fRhNgak8DserzpuG2 zlzrSku5Mbhu/rimHIrKGt4pALUQc9ws1MtKSf6WAMFE4DB5WxnTrhyT3L3D/B0i3KN3 prAA== X-Gm-Message-State: AJcUukcb9X1gfcK6TLg3ftkMOQUTesQ54j/dlJNFtKYLZLCnyK6YHH3T hyhneBMrUdq+p+vMDQq8zFb7In0VnrG3m7FN/xRrag== X-Google-Smtp-Source: ALg8bN5wWomAomWJEfKoGQsiTwqtj1sp7faHSzYThz0rJ4SPPfaL9OPZCoR9fKsuMYa7OnY7mK+jI7ZXJpHJe2IpjZc= X-Received: by 2002:a2e:9395:: with SMTP id g21-v6mr1155566ljh.78.1548171790558; Tue, 22 Jan 2019 07:43:10 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Ivan Gotovchits Date: Tue, 22 Jan 2019 10:40:17 -0500 Message-ID: To: Kenneth Adam Miller Cc: caml users Content-Type: multipart/alternative; boundary="000000000000a0e31405800dd57f" Subject: Re: [Caml-list] FrontC package Reply-To: Ivan Gotovchits X-Loop: caml-list@inria.fr X-Sequence: 17320 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: --000000000000a0e31405800dd57f Content-Type: text/plain; charset="UTF-8" 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 --000000000000a0e31405800dd57f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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.=C2=A0
On Tue, Jan 22, 2019 at 9:29 = AM Kenneth Adam Miller <k= ennethadammiller@gmail.com> wrote:
But I already did do an opam upd= ate, and it still tried to pull a FrontC version that was stale.

<= div class=3D"gmail_quote">
On Tue, Jan 22, 2019 at 9:18 AM = Ivan Gotovchits <ivg@i= eee.org> wrote:
= Hi=C2=A0Kenneth,

The FrontC package was adopted by the B= AP 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 mirror= ed on one of our servers, we have sometimes issues with SSL keys, that we n= eed to update manually, but this issue is resolved now, so even for the old= opam, it should work.=C2=A0

Cheers,
Iva= n Gotovchits


=

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