Code

Adapt w.r.t. coq/coq#20060.#132

Code

Merged

ppedrot merged 1 commit intorocq-community:masterrocq-community/paramcoq:masterfrom ppedrot:module-remove-modpathppedrot/paramcoq:module-remove-modpathCopy head branch name to clipboardJan 15, 2025

Commits

Commits on Jan 15, 2025

• Adapt w.r.t. coq/coq#20060.

  ppedrot

  committed
  7b6c8f8

  Copy full SHA for 7b6c8f8