Adapt to coq/coq#18327 (projection opacity)

impermeable / coq-waterproof

GNU Lesser General Public License v3.0

29 stars 9 forks source link

Adapt to coq/coq#18327 (projection opacity) #41

Closed rlepigre closed 6 months ago

jim-portegies commented 7 months ago

@rlepigre just to be sure, is this already ready to merge or should I wait?

rlepigre commented 7 months ago

No, this is definitely not ready yet. There are still CI failures on the corresponding Coq PR, and it has not even been properly reviewed yet. I think someone will ping you here when this is ready.

ppedrot commented 6 months ago

Please merge now.