Code

2025.01 prep 4#452

Code

Merged

MSoegtropIMC merged 3 commits intocoq:maincoq/platform:mainfrom MSoegtropIMC:2025.01-prep-4MSoegtropIMC/platform:2025.01-prep-4Copy head branch name to clipboardDec 9, 2024

+43-6

Commits

Commits on Dec 6, 2024

• Pick 8.20~2025.01: update/enable coq-rewriter from 0.0.100 to 0.0.12 and enable coq-fiat-crypto.0.1.3

  MSoegtropIMC

  committed
  292afcd

  Copy full SHA for 292afcd

• Pick 8.20~2025.01: updated coq-ext-lib from 0.12.2 to 0.13.0

  MSoegtropIMC

  committed
  ea30cf8

  Copy full SHA for ea30cf8

Commits on Dec 9, 2024

• Pick 8.20~2025.01: updated elpi to 2.0.5, coq-elpi to 2.3.0 and coq-hierarchy-builder to 1.7.1

  MSoegtropIMC

  committed
  115eac7

  Copy full SHA for 115eac7