I think it would be useful to be able to test whether the lower version bounds for the dependencies of an opam package are actually correct and compile without errors. There seem to be a lot of PRs in opam-repository that are basically “bump the version requirements for X package”, so maybe it could…

Testing lower version bounds in the dependencies of a package

rjbou May 24, 2018, 2:36pm 2

You can find the right solver criteria in this post.

2 Likes