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