adapt to coq/coq#19801 (replacing ZArith_base, Zeq_bool)#94

Open

andres-erbsen wants to merge 1 commit intocoq-community:masterfrom andres-erbsen:less-ZArith_base

+4-2

Commits on Nov 3, 2024

adapt to coq/coq#19801 (deprecation of ZArith_base, Zeq_bool)
andres-erbsen
committed