math-comp/odd-order

Broken build

SkySkimmer opened this issue 6 years ago · 1 comments

SkySkimmer commented 6 years ago

See eg https://gitlab.com/coq/coq/-/jobs/134201632
Probably due to math-comp/math-comp#262

ggonthier commented 6 years ago

Addressed by 9c35daa - thanks for promptly spotting this.