Adapt to coq/coq#20360 (pr_universe_context_set renamed)#1150
Merged
ppedrot merged 1 commit intoMetaRocq:mainfrom Mar 18, 2025
Merged
Adapt to coq/coq#20360 (pr_universe_context_set renamed)#1150ppedrot merged 1 commit intoMetaRocq:mainfrom
ppedrot merged 1 commit intoMetaRocq:mainfrom
