Thomas Gazagnaire

@djs55 have you seen https://github.com/mirage/prometheus ?

Thanks for your contribution! I am working on refreshing the dependencies of vpnkit to make it easier to compile, but this needs quite few changes to be approved by @djs55...

@TylerLubeck if you do: ``` $ opam remote add vpnkit ./repo/darwin $ opam update $ opam install --deps-only vpnkit $ make ``` that should now work. If not, please report...

@TylerLubeck thanks for your patience. It should work better with #266 (and indeed you should be using `vpnkit` instead of `slirp`).

Ha I think I found the issue: https://github.com/ocaml/opam-repository/commit/dba6c74df4a9f66ce31a383b23e3cd25fcb2365b added an upper bound on dns. Fixing that now.

See https://github.com/moby/vpnkit/pull/267 for a fix. Don't forget to add a local repo as master is still using a bunch of unreleased packages (hopefully not for long).

Note that I've pushed https://github.com/ocaml/opam-repository/pull/12556 to (temporary) fix the issue in opam.

Maybe we can just host the generated C code from `coq-fiat` somewhere on GH (with the script to run to regenerate it) and just package it in opam.

I think it would be a good idea if the regression tests would also tests that `ocp-indent` and `ocamlformat` agrees on the file indentation. One way to ensure it remains...

The goal is just to help adoption: a lot of care has been taken in ocp-indent to "please" the eyes of OCaml users; I think it would be a shame...