Re: [Caml-list] FrontC package

[Ivan Gotovchits <ivg@ieee.org>]

[-- Attachment #1: Type: text/plain, Size: 2055 bytes --]

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 <ivg@ieee.org> 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 <ivg@ieee.org> 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
>>>>>
>>>>

[-- Attachment #2: Type: text/html, Size: 4102 bytes --]