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 ...
