Adapt to coq/coq#18624 (Tac2ffi / Tac2val split)

impermeable / coq-waterproof

GNU Lesser General Public License v3.0

29 stars 9 forks source link

Closed SkySkimmer closed 5 months ago

ppedrot commented 5 months ago

Please merge now.

proux01 commented 5 months ago

Ping @jellooo038 @jim-portegies Coq CI remains broken until this is merged.