Skip to content

Add DependGraph TypeOnly flag for type-only dependency collection #176

Draft
JasonGross wants to merge 4 commits into
rocq-community:coq-masterfrom
JasonGross:typeonly-option
Draft

Add DependGraph TypeOnly flag for type-only dependency collection #176
JasonGross wants to merge 4 commits into
rocq-community:coq-masterfrom
JasonGross:typeonly-option

Commits

Commits on Mar 22, 2026

Commits on Apr 16, 2026