Release tested with Coq 8.13 to 8.15, MathComp 1.12.0 to 1.14.0, CoqEAL 1.0.6, MathComp real closed field 1.1.2, and MathComp bigenough 1.0.1, MathComp Zify 1.2.0, and MathComp Algebra Tactics 1.0.0. The main change since 1.0.1 is replacement of wrappers for the lia and field tactics with MathComp Zify and Algebra Tactics (#4, by Kazuhiko Sakaguchi).