Skip to content

opam: declare conflict-class in the in-tree coq-bbv.opam - #59

Open
JasonGross wants to merge 1 commit into
mit-plv:masterfrom
theorem-labs:claude/opam-conflict-class
Open

opam: declare conflict-class in the in-tree coq-bbv.opam#59
JasonGross wants to merge 1 commit into
mit-plv:masterfrom
theorem-labs:claude/opam-conflict-class

Commits

Commits on Jul 28, 2026