Code

Adapt w.r.t. coq/coq#18312.#370

Code

Merged

SkySkimmer merged 1 commit intorocq-archive:mainrocq-archive/coq-serapi:mainfrom ppedrot:detuplify-impargsppedrot/coq-serapi:detuplify-impargsCopy head branch name to clipboardNov 16, 2023

+5-1

Commits

Commits on Nov 15, 2023

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

  ppedrot

  committed
  01282b4