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