Code

remove a bunch of deprecate warnings#170

Code

Merged

palmskog merged 4 commits intomastercoq-community/hydra-battles:masterfrom Fix818Warningscoq-community/hydra-battles:Fix818WarningsCopy head branch name to clipboardJan 7, 2024

+117-114

Commits

Commits on Jan 3, 2024

• remove a bunch of deprecate warnings

  Casteran

  committed
  b18c03d

  Copy full SHA for b18c03d

• remove references to Div0

  Casteran

  committed
  e8824b2

  Copy full SHA for e8824b2

• fix a bug in the doc

  Casteran

  committed
  9142d8f

  Copy full SHA for 9142d8f

Commits on Jan 7, 2024

• adjust opam packages and ci for MathComp 1.18 and other changes

  palmskog

  committed
  e8b4ad8

  Copy full SHA for e8b4ad8