You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
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
The text was updated successfully, but these errors were encountered: