coq-bits is compatible with Coq 8.15, 8.16 and Mathcomp 1.14, 1.15#2332

Merged

palmskog merged 1 commit intocoq:masterfrom anton-trunov:coq-bits-8.15-and-8.16

Sep 30, 2022

+2-2

Commits on Sep 30, 2022

coq-bits is compatible with Coq 8.15, 8.16 and Mathcomp 1.14, 1.15
anton-trunov
committed