Code

Adapt w.r.t. coq/coq#16004.#127

Code

Merged

liyishuai merged 2 commits intocoq-community:mastercoq-community/coq-ext-lib:masterfrom ppedrot:hint-locality-errorppedrot/coq-ext-lib:hint-locality-errorCopy head branch name to clipboardJul 6, 2022

Commits

Commits on Jul 4, 2022

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

  ppedrot

  committed
  1bada58

  Copy full SHA for 1bada58

Commits on Jul 6, 2022

• Retire Coq 8.10

  

  liyishuai

  authored and

  ppedrot

  committed
  ca799c7

  Copy full SHA for ca799c7