workaround for what appears to be opam admin check problem#3274

Merged

palmskog merged 1 commit intocoq:masterfrom palmskog:dep-opam

Dec 22, 2024

+2-1

Commits on Dec 22, 2024

workaround for what appears to be opam admin check problem on opam 2.3.0, gives Invalid_argument(filter_deps)
palmskog
committed