Skip to content

fix(rocq_library): add self -Q even when out_dir is parent of dep paths#35

Merged
avrabe merged 1 commit into
mainfrom
fix/example-standalone-rocq-import
May 23, 2026
Merged

fix(rocq_library): add self -Q even when out_dir is parent of dep paths#35
avrabe merged 1 commit into
mainfrom
fix/example-standalone-rocq-import

fix(rocq_library): add self -Q even when out_dir is parent of dep paths

f9afef2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar