Code

2025.01 prep 5#453

Code

Merged

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

+3-3

Commits

Commits on Dec 12, 2024

• Pick 8.20~2025.01: updated oq-mathcomp-multinomials to version 2.3.0 and enabled it

  MSoegtropIMC

  committed
  62746ef

  Copy full SHA for 62746ef

Commits on Dec 16, 2024

• Pick 8.20~2025.01: update elpi to version 2.0.6 and coq-hierarchy-builder to version 1.8.0

  MSoegtropIMC

  committed
  d01b30c

  Copy full SHA for d01b30c

• Opam: remove local package coq-mathcomp-multinomials.2.3.0 (available upstream)

  MSoegtropIMC

  committed
  c40acb7

  Copy full SHA for c40acb7