Open proux01 opened 1 month ago
Adapt to https://github.com/coq/coq/pull/19310
This should be merged in sync with the upstream PR
Adapt to https://github.com/coq/coq/pull/19310
This should be merged in sync with the upstream PR