Apparently, the build of coq-mathcomp-multinomials.2.2.0 (using Dune) is incompatible with coq-elpi >= 2.2.1 (see #3104 and math-comp/multinomials#90).
We don't have the same issue in the older versions of multinomials since coq-mathcomp-multinomials < 2.2.0 is compatible only with Coq < 8.19 and coq-elpi >= 2.2.1 is compatible only with coq >= 8.19.
Apparently, the build of coq-mathcomp-multinomials.2.2.0 (using Dune) is incompatible with coq-elpi >= 2.2.1 (see #3104 and math-comp/multinomials#90).
We don't have the same issue in the older versions of multinomials since coq-mathcomp-multinomials < 2.2.0 is compatible only with Coq < 8.19 and coq-elpi >= 2.2.1 is compatible only with coq >= 8.19.