search

coq / stdlib2

GNU Lesser General Public License v2.1
39 stars 9 forks source link

[coq] Adapt to coq/coq#11948 #21

Closed proux01 closed 4 years ago

proux01 commented 4 years ago

don't merge

herbelin commented 4 years ago

Hi, this can be merge now. Actually, this should be merge as soon as possible so as to remain synchronous with Coq CI. Thanks.

Zimmi48 commented 4 years ago

I'll merge myself to avoid an unsteady CI during the branch preparation. If there's an issue in this PR, this can be fixed afterward I suppose.