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

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

8168682
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build (master, coq, ppa:jgross-h/coq-master-daily)
succeeded Jul 28, 2026 in 37s