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