Adapt to coq/coq#17836 (sort poly)

impermeable / coq-waterproof

GNU Lesser General Public License v3.0

29 stars 9 forks source link

Closed SkySkimmer closed 8 months ago

SkySkimmer commented 10 months ago

These adaptation PRs are not meant to be merged until the upstream PR is merged.

jim-portegies commented 10 months ago

Ok, thank you!

ppedrot commented 8 months ago

@jim-portegies Please merge now.