Adapt to coq/coq#17836 (sort poly)

impermeable / coq-waterproof

GNU Lesser General Public License v3.0

29 stars 9 forks source link

Adapt to coq/coq#17836 (sort poly) #24

Closed SkySkimmer closed 10 months ago

jim-portegies commented 10 months ago

@SkySkimmer I originally merged this pull request, but then our own CI / CD failed. To be sure I have reverted the PR, would you have any advice on how to proceed?