search

impermeable / coq-waterproof

GNU Lesser General Public License v3.0
29 stars 9 forks source link

Adapt to https://github.com/coq/coq/pull/18880 #52

Closed proux01 closed 3 months ago

proux01 commented 3 months ago

Adapt to https://github.com/coq/coq/pull/18880

proux01 commented 3 months ago

@jellooo038, @jim-portegies could one of you please merge this. This is the last overlay blocking the upstream https://github.com/coq/coq/pull/18880

proux01 commented 3 months ago

Thanks!