Skip to content

Rename to MetaRocq#55

Merged
flupe merged 3 commits into
masterfrom
rocqy
Feb 19, 2026
Merged

Rename to MetaRocq#55
flupe merged 3 commits into
masterfrom
rocqy

also update Rocq files

77226e0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar