Thomas Gazagnaire

More lower-bounds issues (with cpm?) -- @UnixJunkie do you mind looking at those? 

Would maybe be easier to get the metadata from opam ...

This is a duplicate of #181, so closing the issue.

I've pushed more WIP changes in there. The general shape is okay now, but I need to clean up the history. More importantly, I've updated the PR description to match...

removing `duniverse` after a `make clean` sounds good to me.

I'll have a look at the issue. I suspect the`.opam.locked` file explicitely pins all the package to a specific version (and use `pin-depends` to make sure the location/hashes are independent...

I unfortunately don't have time to look into the issue in detail right now, but I agree the experience is not great. I also feel that the fact that your...

Unless I'm mistaken, there's already a `runtime_keys` in `Mirage.main`? If the initial issue was just a lack of expressivity of the Cmdlliner fork DSL, we could also revert my changes...

Hi there, I finally have some time to read this thread. Many thanks for all the feedback. My understanding of the feedback is that most of the new API is...

So a quick status update. I've explored various design options, and I am now inclined to go in the following direction. Please let me know what you think. - Everything...