Code

2025.01 prep 6#454

Code

Merged

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

+16-16

Commits

Commits on Dec 20, 2024

• Pick 8.20~2025.01:

  Show description for 7294813
  MSoegtropIMC

  committed
  7294813

• Pick 8.20~2025.01:

  Show description for f9fa36b
  MSoegtropIMC

  committed
  f9fa36b

• Legacy picks: updated z3_tptp to version 4.13.0 in all legacy picks using older versions (8.14..8.18) since the older version no longer build on Ubuntu 24

  MSoegtropIMC

  committed
  6b2090f