Code

Adapt to math-comp/math-comp#1237#93

Code

Merged

CohenCyril merged 2 commits intomath-comp:mastermath-comp/Abel:masterfrom pi8027:archimedeanpi8027/Abel:archimedeanCopy head branch name to clipboardJul 16, 2024

+27-20

Commits

Commits on Jul 8, 2024

• Adapt to math-comp/math-comp#1237

  pi8027

  committed
  a25ffeb

  Copy full SHA for a25ffeb

Commits on Jul 15, 2024

• Update Nix toolbox

  pi8027

  committed
  bd282f1

  Copy full SHA for bd282f1