Adapt w.r.t coq/coq#16004

coq / stdlib2

GNU Lesser General Public License v2.1

39 stars 9 forks source link

Closed Alizter closed 2 years ago

ppedrot commented 2 years ago

Ping. I have the merge rights in practice but I'd like to get @maximedenes ' approval first.