Code

Adapt to coq/coq#18546.#48

Code

Merged

jim-portegies merged 1 commit intoimpermeable:coq-masterimpermeable/coq-waterproof:coq-masterfrom rlepigre:br/evaluable_refactoringrlepigre/coq-waterproof:br/evaluable_refactoringCopy head branch name to clipboardApr 3, 2024

+2-2

Commits

Commits on Apr 2, 2024

• Adapt to coq/coq#18546.

  

  Rodolphe Lepigre

  committed
  b76efac

  Copy full SHA for b76efac