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

More complete docs.

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

Annotations

3 warnings and 1 notice
macOS
succeeded Jul 8, 2026 in 11m 16s