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