search

coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
https://coq-community.org/coq-ext-lib/
BSD 2-Clause "Simplified" License
129 stars 46 forks source link

Adapt to Coq/Coq#18164 #140

Closed Villetaneuse closed 1 year ago

Villetaneuse commented 1 year ago

We remove some Arith files and NPeano after deprecation.

Villetaneuse commented 1 year ago

@gmalecha @liyishuai Sorry to bother you. I don't know what causes builds 8.9 8.11 8.12 to be failing (it seems some version of itree can't be built) and 8.14 to be that slow (does it really need metacoq?). But on my side, it seems I can't do more. Could you please make a decision about this PR and/or tell me what I need to do?

Villetaneuse commented 1 year ago

Great! Thank you @liyishuai