Skip to content

Adding package management infrastructure - #21564

Merged
coqbot-app[bot] merged 16 commits into
rocq-prover:masterfrom
rlepigre-skylabs-ai:package
Jul 8, 2026
Merged

Adding package management infrastructure#21564
coqbot-app[bot] merged 16 commits into
rocq-prover:masterfrom
rlepigre-skylabs-ai:package

Commits

Commits on Jul 8, 2026