There is a "dev" package pick, which builds what is in opam dev, but this frequently does not work. It would make sense to have a pick which automatically creates patched opam packages matching Coq's CI (in a separate opam patch repo). There is some work in that direction by @gares in #44
There is a "dev" package pick, which builds what is in opam dev, but this frequently does not work. It would make sense to have a pick which automatically creates patched opam packages matching Coq's CI (in a separate opam patch repo). There is some work in that direction by @gares in #44