Bug#1038695: mathcomp-multinomials: autopkgtest regression with coq 8.17.0

[Adrian Bunk <bunk@debian.org>]

Source: mathcomp-multinomials
Version: 1.5.5-8
Severity: serious

https://ci.debian.net/packages/m/mathcomp-multinomials/testing/amd64/

...
 36s autopkgtest [07:23:05]: test command1: coqtop -batch -rifrom SsrMultinomials mpoly
 36s autopkgtest [07:23:05]: test command1: [-----------------------
 36s Error: Cannot find a physical path bound to logical path
 36s mpoly with prefix SsrMultinomials.
 36s 
 36s autopkgtest [07:23:05]: test command1: -----------------------]
 36s autopkgtest [07:23:05]: test command1:  - - - - - - - - - - results - - - - - - - - - -
 36s command1             FAIL non-zero exit status 1
...