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 762295D5 for ; Tue, 22 Jan 2019 14:18:38 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,506,1539640800"; d="scan'208,217";a="365260075" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jan 2019 15:18:35 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id AC7598257B; Tue, 22 Jan 2019 15:18:35 +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 EEB817F61F for ; Tue, 22 Jan 2019 15:18:26 +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-lf1-f46.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AH5cAox32EQraJdfWsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0fK/ad9pjvdHbS+e9qxAeQG9mDu7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWVOXshTWCJBDI2y?= =?us-ascii?q?bJYBAfQdMutDtYbxu0EDoAGiCQWwBu7izCJDiH/s3a091uQsCQLI3BI6ENIIrX?= =?us-ascii?q?/ardL1NLsVUeCr0KbIzTTDb+9N2Tzg74XIcw4hof6XULJxb8Xe11cgGxnCjlWK?= =?us-ascii?q?pozoJjWY3fkDvWic6upvT+Ovi2g/pgF+oziv2scsipTSiY4P1l/E8iB5zJ40Jd?= =?us-ascii?q?2iSU57fcSoEJVKtyycKoB4QdsiTnl2tComzrAKo522cSgQxJg6xhPSaeaLfoeJ?= =?us-ascii?q?7x/lSe2fOy13hGh/d7K6nxuy8Vavyun7VsSs1VZFtCtFkt3VunAJ2Rzf99GLSv?= =?us-ascii?q?Vy80qgwzqP2AfT6uZLIUAwi6XXMYIuwrk1lpYLsETDGDH5mFnugaOIakkp/vKk?= =?us-ascii?q?5ufnb7n8u5ORNo15hhvxP6kvgsC/BP43MgkKX2iV4+S807jj8FX4QLVUgf07ia?= =?us-ascii?q?jZv47EKssFvKK5BBVV0ok75xalEzimyMgYnWUALF9dZB2IlY3pO1XXLPD8DPe/?= =?us-ascii?q?mEisnSxwx/HGO73hGo/CImLCkLfnZ7Z96lRTxBA9zdBFtNpoDeQiLfT1V1Px/P?= =?us-ascii?q?XUBxpxFg2wx+v9QIF+24UYVH6PC6OQNabTtVuF/MogJuCNYMkevzOreNY/4Pu7?= =?us-ascii?q?rGEwnxcyerWuw5AXaWyjVqBnPUqxYHfhj5EGC2hc7Vl2d/DjlFDXCW0bXH21Ra?= =?us-ascii?q?9po2hjUNv3X7eGfZikhfm65An+G5RXYm5cDVXVSSXpeoiJHfAWZ3DLe5Mzonk/?= =?us-ascii?q?TbGkDrQZ+1S2rgajk+hmI+fZvCoCusC7jYUn16jojRg3sAdMIYGd3mWKFTwmm2?= =?us-ascii?q?oJQ3oy0vk6rxAjjFiE1qd8jrpTEtkBv/4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A8AAADJUdchi6nVdFkHAEBAQQBAQcEA?= =?us-ascii?q?QGBUwUBAQsBAYInQU8zJ4QBgR2SZ4INiSUOiGaFaIF7DSOESQKCahoHAQQyBw0?= =?us-ascii?q?BAwEBAgEBAQEBEwEBAQgLCwgpIwxCAQwBgWopAYJnAQICASMdAQE3AQQLCwQHN?= =?us-ascii?q?wICIQESAQUBHAYTgyIBgWkDCAUID6B0PIoqcYEvgncBAQWBMAGDSw2CFQgSjC8?= =?us-ascii?q?XgUA/hCOCV0cCgg6CXIJXihOGe5BhMwmHJINYBYNhgzkYgWaFLosAiwyEFIEYi?= =?us-ascii?q?lYPIYEsAoIFfQg7DRAUBoI1CYISGoNUgT6DVoVdJDABgkyISwEB?= X-IPAS-Result: =?us-ascii?q?A0A8AAADJUdchi6nVdFkHAEBAQQBAQcEAQGBUwUBAQsBAYI?= =?us-ascii?q?nQU8zJ4QBgR2SZ4INiSUOiGaFaIF7DSOESQKCahoHAQQyBw0BAwEBAgEBAQEBE?= =?us-ascii?q?wEBAQgLCwgpIwxCAQwBgWopAYJnAQICASMdAQE3AQQLCwQHNwICIQESAQUBHAY?= =?us-ascii?q?TgyIBgWkDCAUID6B0PIoqcYEvgncBAQWBMAGDSw2CFQgSjC8XgUA/hCOCV0cCg?= =?us-ascii?q?g6CXIJXihOGe5BhMwmHJINYBYNhgzkYgWaFLosAiwyEFIEYilYPIYEsAoIFfQg?= =?us-ascii?q?7DRAUBoI1CYISGoNUgT6DVoVdJDABgkyISwEB?= X-IronPort-AV: E=Sophos;i="5.56,506,1539640800"; d="scan'208,217";a="292778921" Received: from mail-lf1-f46.google.com ([209.85.167.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Jan 2019 15:18:24 +0100 Received: by mail-lf1-f46.google.com with SMTP id p6so18233512lfc.1 for ; Tue, 22 Jan 2019 06:18:24 -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=wRMLL5DLYj3uqhUhsl/uRV/pFbZ4KofwNCAbA7pwQPY=; b=DC8fIa6jMRIlHoIC6HLkcj0+myeXeFvJhY5XRipzeR8pYK6uJOFK8HA84d0G8sgwYs rVSA7hTIidcClvtt0A/ThN+x3Mci7XIPKWlsIQLejseDux0dnW0yMk1bKAAjGcG+fqK5 yuW0elv6Mz7soCZuK8XG/p+Xw6QgFEAwrISNM= 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=wRMLL5DLYj3uqhUhsl/uRV/pFbZ4KofwNCAbA7pwQPY=; b=jPv78mVi3y3j2t5CoesfuzqKaDvTNCB+Ckkx2q6iekvaSVT4fSOVZvCz0LJYBcc197 Qevbqsvp72RIvt8uqN6Dr+O9QBQvQVQlVcoMfBA77ItmacgvyXZyyBaM2PV8N3SZmDtk v/RAGGiM//VldemODUl+Bhv7ynxAtRPpwNVhDhgy4Oxe3kdXmdUIitcWB52WsBXx0IbV ni+uPTAgDBhbIzv2TRKQDxkvxX/EXZGwFw0ALY4cDNRvSXc6JvsWKUxvDPTj+dh8/Mf/ tb2gmydHPtXJwvOjZu/4uUQBV1dcXBn/U1sqS4XImPe2zIT/Wo5KpdvV1FTI5p/CzeOr 0FYg== X-Gm-Message-State: AJcUukfmn4/ARlcOodAqrhQ5iHhU0xzyOAm3qCRMTe7uRZB0108pX9OT nVUlT/tPbSfmjUuNiUmIoxLxJlV4MMFFfaSSXDUQVQ== X-Google-Smtp-Source: ALg8bN75pWcnS0I7KXTJMqk6MLpMWV2xRKURFmcfVuWjrAkTUqMJBEDG9J4d/UmvVrDRNgnwj/qFyx6w1L6/OFQK888= X-Received: by 2002:a19:e01e:: with SMTP id x30mr20172863lfg.89.1548166703689; Tue, 22 Jan 2019 06:18:23 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Ivan Gotovchits Date: Tue, 22 Jan 2019 09:15:30 -0500 Message-ID: To: Kenneth Adam Miller Cc: caml users Content-Type: multipart/alternative; boundary="0000000000006d575f05800ca6d5" Subject: Re: [Caml-list] FrontC package Reply-To: Ivan Gotovchits X-Loop: caml-list@inria.fr X-Sequence: 17318 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: --0000000000006d575f05800ca6d5 Content-Type: text/plain; charset="UTF-8" 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 --0000000000006d575f05800ca6d5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi=C2= =A0Kenneth,

The FrontC package was adopted by the BAP Te= am [1],[2],[3], so if you have any links that still follow to the old repos= itory, 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 t= o update manually, but this issue is resolved now, so even for the old opam= , it should work.=C2=A0

Cheers,
Ivan Got= ovchits




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