Code

work with mathcomp 1.15#37

Code

Merged

affeldt-aist merged 4 commits intoaffeldt-aist:masteraffeldt-aist/coq-robot:masterfrom thery:mathcomp1_15thery/coq-robot:mathcomp1_15Copy head branch name to clipboardJul 25, 2022

+34-32

Commits

Commits on Jul 25, 2022

• work with mathcomp 1.15

  

  thery

  authored and

  affeldt-aist

  committed
  6072f37

  Copy full SHA for 6072f37

• upd CI

  affeldt-aist

  committed
  f728f1e

  Copy full SHA for f728f1e

• fix

  affeldt-aist

  committed
  c462f61

  Copy full SHA for c462f61

• fix

  affeldt-aist

  committed
  9193cae

  Copy full SHA for 9193cae