Adapt to https://github.com/coq/coq/pull/19975 (Give Stdlib its own repository)#3285

Merged

ppedrot merged 1 commit intocoq:masterfrom proux01:stdlib_repo

Jan 13, 2025

+8-12

Commits on Jan 8, 2025

Adapt to coq/coq#19975 (Give Stdlib its own repository)
proux01
committed