Source: coq-gappa Version: 1.10.0-2 Severity: serious X-Debbugs-Cc: Julien Puydt <[email protected]>
https://tracker.debian.org/pkg/coq-gappa Migration status for coq-gappa (1.7.0-1 to 1.10.0-2): BLOCKED: Rejected/violates migration policy/introduces a regression Issues preventing migration: ∙ ∙ Autopkgtest for coq-gappa/1.10.0-2: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻), ppc64el: Regression ♻ (reference ♻), riscv64: Regression ♻ (reference ♻), s390x: Regression ♻ (reference ♻) ... 132s [deprecated-dirpath-Coq,deprecated-since-9.0,deprecated,default] 132s File "/tmp/autopkgtest-lxc.2okr7jzc/downtmp/autopkgtest_tmp/check.v", line 22, characters 2-29: 132s Warning: Coq.Reals.Rdefinitions.Rinv has been replaced by 132s Stdlib.Reals.Rdefinitions.Rinv. 132s [deprecated-dirpath-Coq,deprecated-since-9.0,deprecated,default] 132s File "/tmp/autopkgtest-lxc.2okr7jzc/downtmp/autopkgtest_tmp/check.v", line 22, characters 2-29: 132s Warning: Coq.Reals.Rbasic_fun.Rabs has been replaced by 132s Stdlib.Reals.Rbasic_fun.Rabs. 132s [deprecated-dirpath-Coq,deprecated-since-9.0,deprecated,default] 132s autopkgtest [06:26:18]: @@@@@@@@@@@@@@@@@@@@ summary 132s command1 PASS 132s testsuite FAIL stderr: File "/tmp/autopkgtest-lxc.2okr7jzc/downtmp/autopkgtest_tmp/check.v", line 1, characters 15-20: ...
