Adapt to coq/coq#18174 (Clenv.unify takes cv_pb)

impermeable / coq-waterproof

GNU Lesser General Public License v3.0

29 stars 9 forks source link

Closed SkySkimmer closed 9 months ago

ppedrot commented 9 months ago

Please merge now.

ppedrot commented 9 months ago

Ping @jim-portegies explicitly in case this is more efficient.